2024年12月25日
写给 CSer 的 lambda 演算入门
摘要： 大概是面向 \(\text{CSer}\) 的入门，虽然我觉得网上很多教程难懂的主要原因是不喜欢把所有括号都打出来，然后在描述的时候滥用柯里化（虽然这是对的）。 \(\lambda\) 演算可以理解成一种（好用？的）编程语言。\(\lambda\) 演算的思想就是设计一个可计算的函数，可以看成像 H 阅读全文
posted @ 2024-12-25 16:35 嘉年华_efX 阅读(198) 评论(0) 推荐(0)