最近比较闲，打算整理一下之前学习的关于程序语言的知识。主要的内容其实就是一边设计程序语言一边写解释器实现它。这些知识基本上来自Programming Languages and Lambda Calc ...

递归。哦，递归。 递归在计算机科学中的重要性不言而喻。 递归就像女人，即令人烦恼，又无法抛弃。 先上个例子，这个例子里的函数double输入一个非负整数$n$，输出$2n$。 \[ {double} ...