2025年2月10日
从零开始的函数式编程(1) —— 函数抽象与λ表达式
摘要： tags: - 函数式编程 - 数学 - λ演算 目录抽象抽象点函数抽象λ表达式 | λ项表达式的构成命名函数运用约束变量与自由变量归约 | 消解α转换 | α换名β归约η归约DEF原语 | 定义命名特殊的λ表达式恒等函数运用函数自运用函数 ⚠ 本文导出自Obsidian，可能存在格式偏差（例如链接 阅读全文
posted @ 2025-02-10 16:58 Oberon 阅读(161) 评论(0) 推荐(0)