Elixir is a gradually typed language and for a few years now, every release has been introducing more and more capabilities to the type system.
A new version of #ElixirLang is on the horizon with even more type inference. My favourite bit is tracking of dynamic maps as keys are added or moved … with zero ceremony or developer effort 😍. It’s truly a joy when language design is taken seriously.
https://github.com/elixir-lang/elixir/releases/tag/v1.20.0-rc.0