主要观点：作者是一名程序员，尤其擅长 Lisp 语言，渴望理解 Lambda 演算，因为它是强大而优雅的工具且是许多函数式语言的基础理念，但之前尝试理解失败，于是写系列文章来讲解。文章介绍了 Lambda 演算中的抽象（Abstraction）、应用（Application）、柯里化（Currying）、归约（Reduction）、替换（Substitution）、等价（Equivalence）等概念，并提到下一篇将讲解求值顺序，欢迎通过邮件反馈。
关键信息：

• 作者是 Lisp 程序员，对 Lambda 演算有深入理解的需求。
• 详细介绍了 Lambda 演算的各个概念及示例，如抽象函数定义、不同的函数应用方式、柯里化的概念、归约的过程、替换的作用等。
• 提及不同类型的等价及 Lisp 中多种相等运算符的存在。
  重要细节：
• 用希腊字母 lambda 表示创建新函数，其后是函数的参数，参数结束后是函数体。
• 函数应用有多种形式，如 (f x)、f x、(f x) 等，作者常用 (f x) 语法。
• 柯里化是将多参数函数转换为单参数函数嵌套的形式，每次提供一个值可得到一个内部函数。
• 归约是获取表达式值的方式，有多种归约类型，如 β 归约等。
• α 替换是重命名函数参数，避免参数冲突。
• 不同类型的等价分别在不同条件下成立，如 α 等价是参数替换后表达式相同，β 等价是归约结果相同等。