会员
周边
众包
新闻
博问
闪存
赞助商
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
COLORFUL
by SuuT
博客园
首页
新随笔
联系
订阅
管理
2021年12月22日
lambda演算入门
摘要: 介绍如何进行简单lambda演算的计算(规约):形如下面这样的题目: intro https://www.jianshu.com/p/ebae04e1e47c 这一篇很清晰,基本涵盖了本文的内容。 可跳过本节,基本对做题没帮助 关键字 小写单字符用以命名参数,也叫变量(数学含义的)。 外加四个符号'
阅读全文
posted @ 2021-12-22 19:55 SuuTTT
阅读(880)
评论(0)
推荐(0)
编辑
公告