FYI: Elixir may be getting static typing in a future version. https://elixir-lan... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		arrowsmith on Nov 8, 2023 \| parent \| context \| favorite \| on: Things I like about Gleam's Syntax FYI: Elixir may be getting static typing in a future version. https://elixir-lang.org/blog/2023/09/20/strong-arrows-gradua...

inawarminister on Nov 9, 2023 [–]

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"?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact