02 2025 档案
摘要:tags: - 函数式编程 - 数学 - λ演算 [!quote] 关于λ表达式…… 详见λ表达式 ⚠ 本文导出自Obsidian,可能存在格式偏差(例如链接、Callout等) 本文地址:https://www.cnblogs.com/oberon-zjt0806/p/18710283 目录λ演算
阅读全文
摘要:tags: - 函数式编程 - 数学 - λ演算 目录抽象抽象点函数抽象λ表达式 | λ项表达式的构成命名函数运用约束变量与自由变量归约 | 消解α转换 | α换名β归约η归约DEF原语 | 定义命名特殊的λ表达式恒等函数运用函数自运用函数 ⚠ 本文导出自Obsidian,可能存在格式偏差(例如链接
阅读全文