Elixir is now gradually typed. Nobody wrote a single annotation.
Elixir v1.20 type checks every program with zero annotations. How inference-first typing works, and what it trades away against the TypeScript model.
7 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.
Prisma 7 dropped its Rust query engine for a TypeScript and WASM compiler. Queries run up to 3.4x faster, the client shrank 90%, and the edge opened up.
Oxlint borrows the official Go compiler; Biome wrote its own type engine. Same goal, opposite bets, and a clear CI playbook for now.
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.
Standard Schema added one property to Zod, Valibot, and ArkType. Picking a validator is no longer a wedge into your whole stack.
Server Actions are no longer an RSC escape hatch. They are the de facto mutation transport, and the libraries built on top reveal what is missing.
Drizzle v1.0.0-rc.1 ships opt-in JIT row mappers that the team says make the ORM as fast as raw drivers. Here is what changed and why.