4 ms·
> type mismatch errors at runtime that could have been caught at compile time It's still early, but there are plans to introduce a type system for Elixir: htt
by nithinbekal 3y ago
> type mismatch errors at runtime that could have been caught at compile time
It's still early, but there are plans to introduce a type system for 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-...
- jrobn 3y agoI'm eagerly looking forward to and hoping the research project to add `Set Theoretic Types` to the language will work. It will help replace tooling like dialyzer in many cases (which many people love/hate). It will also have benefits for LSP feedback. It could also lead to more information being passed to the new BeamAsm JIT compiler for more compile time optimizations and faster execution.