Elixir v1.20 released: now a gradually typed language

Elixir v1.20 introduces a gradually typed language system that performs type inference and checking without requiring developers to add type annotations to their code. The new system uses a set-theoretic type system with a unique `dynamic()` type that minimizes false positives by allowing runtime type narrowing, enabling it to identify dead code and verified bugs in existing programs. The implementation was developed through a partnership with CNRS and Remote, with current sponsorship from Fresha and Tidewave.