Elixir is now gradually typed. Nobody wrote a single annotation.11 min readElixir v1.20 type checks every program with zero annotations. How inference-first typing works, and what it trades away against the TypeScript model.8 June 2026·11 min read