TypeScript is Surprisingly OK for Compilers

TypeScript is Surprisingly OK for Compilers Aug 17, 2023 There are two main historical trends when choosing an implementation language for something compiler-shaped. For more language-centric tasks, like a formal specification, or a toy hobby language, OCaml makes most sense. See, for example, plzoo or WebAssembly reference interpreter. For something implementation-centric and production ready, C+

[tybalt]

Deno でタイプチェッカーを作る話。TS の switch が値を返さないため、visit 関数で switch をラップしている。