Hacker News Reader

FYI: Elixir may be getting static typing in a future version.

https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua...

Does Elixir's Set-theoretic Types support declaring restricted subset of types for modelling purposes as often done by ML programmers? The "Type-Oriented Programming" or "Domain-driven Design"?

Reply on news.ycombinator.com