摘要: 函数类型 因为纯粹的 lambda 演算是 turing 完备的,因此只有运行时才能够完全确定类型,比如: if <complex evaluation> then true else (λx.x) 定义函数类型:λx.t: →;为了更加精确,加入参数 T1 T2,得到如下递归定义: 定义:类型 B 阅读全文
posted @ 2024-01-29 11:06 sysss 阅读(17) 评论(0) 推荐(0) 编辑