3 ms·
The lack of types is hard to defend. Yet, the failed pattern match triggered at runtime becomes immediately obvious from the stack trace. You fix the pattern a
by Dowwie 3y ago
The lack of types is hard to defend. Yet, the failed pattern match triggered at runtime becomes immediately obvious from the stack trace. You fix the pattern and move on.
The cost of this mild inconvenience is still far less than the cost of satisfying types.
This aside, I want typed elixir.
- bradrn 3y ago> This aside, I want typed elixir. It’s happening: https://elixir-lang.org/blog/2023/06/22/type-system-updates-research-dev/ https://elixir-lang.org/blog/2023/06/22/type-system-updates-...
- Dowwie 3y agoThey're taking baby steps with the roll-out. It's not going mainstream any time soon.
- epiccoleman 3y agoI love elixir, but I would also love it more with a sort of laissez-faire type system akin to TS. Glad to see they're working in that direction. One of the best features of type systems is they make editor completions and navigation work better. Elixir's LS is pretty good, but editor support just isn't nearly as good as what you can have in a good (read: Jetbrains) IDE with a strongly typed lang like C# or Java.