Elixir v1.20 released: now a gradually typed language
Summary
Elixir v1.20 introduces a gradual type system with type inference and the dynamic() type, enabling detection of dead code and verified bugs without type annotations. The release explains how typing guards, case clauses, and data structure refinements enable narrowing, and discusses compilation-time improvements and future directions for set-theoretic types and typed signatures.