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

浙公网安备 33010602011771号