·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...
read →