摘要： 在lambda演算中，只有两类表达式，一类是函数定义(lambda 表达式)，一类是函数应用在参数上。函数定义的形式是匿名的，同时因为没有赋值语句，所以函数它是没有名称可以指代的，没有名称来引用函数，这里自然就遇到一个问题，lambda演算中如何实现递归呢，也就是lambda表达式如何引用自身。Y ... 阅读全文