会员
周边
捐助
新闻
博问
闪存
赞助商
Chat2DB
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
sysss-blogs
博客园
首页
新随笔
联系
订阅
管理
2024年1月29日
9-Simple Typed Lambda Calculus
摘要: 函数类型 因为纯粹的 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)
编辑
公告