Elixir 1.20 released with gradual typing

Elixir now type-checks every line for bugs and dead code without requiring type signatures, moving a dynamic language toward gradual typing with low false positives

Elixir v1.20 released! Now officially a gradually typed language: Elixir type checks every single line of code, finding bugs and dead code, without developer overhead (no typing signatures) and extremely low false positives rate. Plus a fas
Ranked #4 on backlist 2026-06-03 (03 Jun 2026 UTC) · by (José Valim) ·

How it ranks: Backlist reads my Twitter/X timeline, scores every tweet for substance with an LLM rubric (not engagement), and publishes the daily top picks with a one-line takeaway. Curated by Surya Dantuluri.