Elixir v1.20 released: now a gradually typed language

Article excerpt

Elixir, the dynamically typed functional programming language built on the Erlang VM, has introduced optional static typing in version 1.20. The release adds a gradual typing system that lets developers annotate function parameters and return types without requiring it everywhere, a middle ground between Elixir's traditional flexibility and the guarantees of fully typed languages. The feature integrates type checking into the compiler, enabling developers to catch errors at compile time while preserving the language's dynamic nature for legacy code and rapid prototyping.