Strong arrows: a new approach to gradual typing
I cannot support much in terms of money or time currently, but somehow I&#x27;d wish there are ways to speed this up.<p>Sure, sponsoring from big corps comes with their own problems, but maybe that would be an option? There are quite some that use Elixir (or BEAM in general) out there...<p>Idk what would be the best approach.<p>But I am very convinced that Elixir and the wider ecosystem (not only phoenix liveview) is (or could be) the very best &quot;default&quot; web app stack we have right now in general. It solves _so many_ problems of other comparable tech stacks right out of the box, one way or the other, and is the only one I&#x27;ve noticed a sentiment of pure joy from seasoned devs that also lasts well after the novelty wears off.<p>At this point it looks &quot;only&quot; like a number problem to become mainstream (again a number problem). No idea how to solve it, just felt I needed to share my thoughts as a data point here.<p>Like the type system here: I&#x27;d _kill_ to have this exact implementation today rather than _maybe in a few years_. And yes, I can draw comparison to Typescript, Rust and Haskell which I used for projects in the past. Its like combining the very beast ideas (and adding some more) into one awesome thing.