2021年12月22日
lambda演算入门
摘要： 介绍如何进行简单lambda演算的计算（规约）：形如下面这样的题目： intro https://www.jianshu.com/p/ebae04e1e47c 这一篇很清晰，基本涵盖了本文的内容。 可跳过本节，基本对做题没帮助 关键字 小写单字符用以命名参数，也叫变量（数学含义的）。 外加四个符号' 阅读全文
posted @ 2021-12-22 19:55 SuuTTT 阅读(799) 评论(0) 推荐(0) 编辑