TypeScript is surprisingly OK for compilers

https://matklad.github.io/2023/08/17/typescript-is-surprisingly-ok-for-compilers.html

The author walks through the sketch of the implementation of a simple language in TypeScript, and how they'd handle expression types.