摘要：
上一章节介绍的 λ 演算是无类型的，对于 FIX、g 我们只知道：
它们都是有独个参数的函数，它们的参数本身也是一个只有单一参数的函数...
基于这种描述，是无法将 FIX、g 转化为 c# 代码的，我们需要推断出 FIX、g 类型。 阅读全文
上一章节介绍的 λ 演算是无类型的，对于 FIX、g 我们只知道：
它们都是有独个参数的函数，它们的参数本身也是一个只有单一参数的函数...
基于这种描述，是无法将 FIX、g 转化为 c# 代码的，我们需要推断出 FIX、g 类型。 阅读全文
这是一个比较古老的话题，三年半之前，老赵就此写过一篇很文章《使用Lambda表达式编写递归函数》。其中提出了伪递归的概念，提出了自己的解决方式，也引出了装配脑袋 使用不动点组合子 的解决办法。
最近比较轻闲，静下心来学习了下λ演算、不动点组合子的一些理论，并深入思考，略有所悟，在此和大家分享下。
本文及后续章节会用到相当复杂的泛型及 lambda 表达式，请做好相关技术和心理准备。 
鹤冲天，非计算机及相关专业，酷爱编程，对新技术有着执着的追求。