新的开始
<p>删掉了好多篇新年快乐，就从这里重新开始吧！</p>
2024/10/25
阅读更多A
TypeScript 类型体操，实现编程语言的解析并求值
<p>之前看到了 <a href="https://zhuanlan.zhihu.com/p/427309936">TypeScript 类型体操天花板，用类型运算写一个 Lisp 解释器</a> 这篇文章，感到非常震撼。这两天在研究一些文本解析的问题突然想起了这篇文章，然后自己也想糊一个。</p> <p>众所周知，TypeScript 的类型系统是图灵完备的，于是我们可以用 ts 的类型系统来做到一些奇妙的事情，比如上面那篇用类型系统实现的 lisp 解释器。而我想要做一个更通用的东西。</p>
2022/11/29
阅读更多