Gradual set-theoretic types — Elixir v1.20.0-dev

Elixir is implementing set-theoretic types into its compiler, featuring a gradual type system that remains sound while allowing dynamic() types that preserve partial type information rather than discarding it entirely. The type system uses set operations (unions, intersections, negations) for composition and currently focuses on inferring types from existing programs to detect bugs without requiring code modifications, with user-provided type signatures planned for future releases.

Visit Original Article →