理解 Lambda 演算之抽象、规约和替换
2024-11-10
本文以程序员视角解释了 Lambda 演算的核心概念，包括抽象（函数定义）、应用（函数调用）、柯里化（多参数函数处理）、规约（求值过程）、替换（变量重命名）以及等价性等。作者以通俗易懂的语言和示例，阐明了 α-、β- 和 η- 规约/替换/等价的区别，并解释了如何运用这些概念理解 Lambda 表达式。
14
未分类
编程语言理论