Stories from elixir-lang.org

Elixir 1.20 adds gradual type checking with inferred set-theoretic types to flag verified runtime bugs

Elixir v1.20 introduces its first major milestone toward a gradual type system, adding type inference and type checking across existing Elixir programs without requiring annotation...