2 ms·
Wow, that's very fast progress from https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ https://elixir-lang.org/blog/2023/09/20/strong-arrows
by logicchains 3y ago
Wow, that's very fast progress from https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradual-typing/ https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua... .
- realusername 3y agoElixir is already one of the most static of dynamic langages so I'm not too surprised about the quick progress, the language is almost built for that already. It's much easier compared to typing Ruby or JavaScript in terms of difficulty.
- josevalim 3y agoExactly! The hard part was to find a type system that we can map most (if not all) Elixir constructs to, and set-theoretic types have been a great fit so far and we were able to develop the theory in the areas where it lacked.