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
2 blogs filed in this tag
Elixir v1.20 type checks every program with zero annotations. How inference-first typing works, and what it trades away against the TypeScript model.
TypeScript 7's Go compiler is 10x faster, but the Strada API that typescript-eslint, ts-morph, and transformers import does not cross the language boundary.