TypeScript 类型体操，实现编程语言的解析并求值

之前看到了 TypeScript 类型体操天花板，用类型运算写一个 Lisp 解释器 这篇文章，感到非常震撼。这两天在研究一些文本解析的问题突然想起了这篇文章，然后自己也想糊一个。 众所周知，TypeScript 的类型系统是图灵完备的，于是我们可以用 ts 的类型系统来做到一些奇妙的事情，比如上面那篇用类型系统实现的 lisp 解释器。而我想要做一个更通用的东西。