技术栈
λ演算
Oberon
15 小时前
数学
·
函数式编程
·
λ演算
从零开始的函数式编程(2) —— Church Boolean 编码
[!quote] 关于λ表达式…… 详见λ表达式⚠ 本文导出自Obsidian，可能存在格式偏差（例如链接、Callout等） 本文地址：https://www.cnblogs.com/oberon-zjt0806/p/18710283