Elixir v1.20 released: now a gradually typed language

José Valim explains Elixir's gradual type checking, including type inference without user-written annotations and how dynamic types are narrowed through a program. Worked examples show which incompatible operations the compiler can identify and where dynamic behaviour remains. Read it to understand the guarantees being claimed and the design choices behind them before trying the examples in your own code.