Elixir 1.20 adds optional gradual typing to the language

Elixir now supports optional type annotations and gradual typing, letting developers add type checking incrementally without rewriting existing code. For indie makers building Elixir projects, this means better IDE support, earlier error detection, and a smoother path to confidence in growing codebases—without forcing an all-or-nothing migration.