TLDR Tech / Dev
Elixir v1.20 released: now a gradually typed language
Elixir v1.20 introduces a gradual, set-theoretic type system that performs automated type inference and checking, using a specialized dynamic() type to accurately identify bugs and dead code. The release also improves compilation speed and allows the compiler to detect potential runtime failures via type narrowing in guards and clauses.
Read the full story