Elixir is now gradually typed. Nobody wrote a single annotation.
11 min read
Elixir v1.20 type checks every program with zero annotations. How inference-first typing works, and what it trades away against the TypeScript model.
·11 min read
Tags Taxonomy
#type-systems
1 blog filed in this tag