- 博客(1)
- 收藏
- 关注
RSS订阅原创 λ演算
第一类对象原则a 属于 Λ 空间对于任何 M 属于 Λ 空间，且 a 属于 Λ 空间，则 λ a. M 属于 Λ 空间对于 F、M 属于 Λ 空间，则 F M 属于 Λ 空间使用 λ 表达式来描述即： λ` 属于 Λ 空间 λ λ`. λ`λ` λ`这是一个递归定义，也就是说任何一条 lambda 表达式的参数以及返回值都可以是 lambda 表达式（该 lambda 表达式的参数
2017-01-03 01:19:22
802
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人