Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Adding Go's defer to the TypeScript Compiler
Andrew Healey forks the Go-based TypeScript compiler to add a Go-style defer statement, walking through how the compiler is structured, how defer should behave including error handling, and the JavaScript it emits, before concluding defer probably should not exist and that TypeScript's using declarations are the closer fit.
5 min · 1,234 words
TypeScript and Haskell: Unions & Singletons
Gabriel Garcia explores how TypeScript's combination of union types and literal (singleton) types gives APIs precision, then tries to reproduce the same pattern in Haskell with type families, unboxed sums and singleton naturals, showing where the encodings get awkward and why they fail to behave like a set of types.
2 min · 428 words