摘要: 一 λ演算 λ 演算可以被称为最小的通用程序设计语言:它包括一条变换规则 (变量替换) 和一条函数定义方式,λ演算之通用在于,任何一个可计算函数都能用这种形式来表达和求值。 λ演算可以是有类型的也可以是无类型的,仅仅当输入的的数据类型对于有类型的λ演算函数来说是可以接受的时,有类型的λ演算函数才能被 阅读全文
posted @ 2019-03-27 13:57 LightAc 阅读(133) 评论(0) 推荐(0) 编辑
摘要: 阅读全文
posted @ 2019-03-27 11:05 LightAc 阅读(192) 评论(0) 推荐(0) 编辑
返回顶端