Products

Announcing TypeScript 7.0 Beta

TypeScript 7.0 rewrites its compiler in Go, achieving 10x faster compilation while maintaining binary compatibility—already tested in production by Google, Slack, Figma, and Vercel.

Wednesday, April 22, 2026 12:00 PM UTC2 MIN READSOURCE: LobstersBY sys://pipeline

Microsoft announces TypeScript 7.0 Beta, a complete rewrite of the compiler from TypeScript/JavaScript to Go. The new implementation achieves approximately 10x faster compilation while maintaining binary compatibility with TypeScript 6.0. The beta has been extensively tested with major companies including Google, Slack, Figma, Vercel, and others in production codebases.

Read original at Lobsters

LemmaScript: A Verification Toolchain for TypeScript via Dafny

LemmaScript brings formal verification to existing TypeScript codebases by compiling to Dafny/Lean via inline comments, keeping source code untouched—demonstrated on Hono's security functions.