你是否曾经在学习/使用 TS 时:1. 看了各种TS文档，写起来还是似懂非懂； 2. 接触了一些TS关键字，用起来不太熟练，缺乏明确的理论参考？那么这篇文章非常适合你！

看到了有人拿类型写了个象棋 徐飞：用 TypeScript 类型运算实现一个中国象棋程序 ，我蚌埠住了，直接给你们把我珍藏的类型体操天花板拿出来，用TypeScript 的类型实现一个 Lisp 解释

由于项目近期进行 ts 迁移，作为第一个吃螃蟹的人，踩过了不少坑。迁移过程中遇到的大大小小的问题基本上都解决了，但是对于 shims-vue.d.ts 文件的命名以及其内的模块声明始终找不到比较贴切的解释。沉下心来读了些外网资料，总算是有点“豁开云雾见青天”的感觉了。此处就记录…