3 ms·
Elixir with static typing would be an absolute dream. I know there's https://gleam.run/ https://gleam.run/
by xwowsersx 3y ago
Elixir with static typing would be an absolute dream. I know there's https://gleam.run/ https://gleam.run/
- mikhailfranco 3y agoIt's not possible, because functions, pattern matching, guards, typespecs and success typing are fundamentally incommensurable: each specifies and/or enforces a subset of the other, they are all useful in their own way, but not isomorphic. Formal attempts have repeatedly failed, even when they exclude message passing, which is the most difficult (and most useful) aspect. If Wadler cannot do it, I'm sure I (or you) cannot. A typesafe concurrent language is possible, but only a new language layer on top of E/E and the BEAM.
- felideon 3y agoAre you saying Gleam has failed?
- mhanberg 3y agoAre you aware of any of the recent advances? There is the set theoretic types work [1] lead by Jose and a couple of PhDs and also eqwalizer by WhatsApp [2] [1] https://elixir-lang.org/blog/2022/10/05/my-future-with-elixir-set-theoretic-types/ https://elixir-lang.org/blog/2022/10/05/my-future-with-elixi... [2] https://github.com/WhatsApp/eqwalizer https://github.com/WhatsApp/eqwalizer
- lawn 3y agoIn addition to gleam, there's also ongoing attempts to add static typing to Elixir.
- nithinbekal 3y agoThere are plans to introduce type system into Elixir: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.org/blog/2023/06/22/type-system-updates-...