你以为打的是 PL 学者的脸，其实打的是 JS/TC39 和 TS 自己的脸：ts 仓库源码近似于 C with gc 的代码风格，甚至可以一比一复刻 (porting) 到 go，可以说是臭写 TS 的操弄着类型体操，最后编译出 php 的性能 —— 只有 ts-go 版的 [公式] ： 为什么 TypeScript 的 checker.ts 文件如此之长？ 不用 try-catch、没有类、没有 proxy 反射、没有任何其他动态特性，完全基于一些基础的 interface 构造 + 各种工具函数来实现，源码很好看…