gradual-typing

Elixir v1.20 introduces set-theoretic gradual typing, enabling type inference and verified bug detection without developer annotations, marking a major milestone in the language's evolution.