plt

前面提到，对于第三章引入的 untyped lambda calculus，对一个 term 进行求值可能会有两种结果。第一种结果是我们可以一路将这个 term 求值为一个 value，例如对 isz… 阅读更多 »TaPL Chapter 8 – Typed Arithmetic Expressions

在第五章中引入的 untyped pure lambda-calculus 中，所有的变量都有一个符号名称，例如 x、y、s 和 t 等。然而，在执行 substitution 时，这些为变量指派的符… 阅读更多 »TaPL Chapter 6 – Nameless Representation of Terms

本章从零开始，完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规则，并给出了大量的有关 untyped pure lambda-calculus 的使用示… 阅读更多 »TaPL Chapter 5 – The Untyped Lambda-Calculus

本章给出了一个非常简单的 mini language，其 abstract syntax 如下： 围绕这样一个简单的 mini language 进行讨论，本章介绍了如下的重要概念和工具： Synta… 阅读更多 »TaPL Chapter 3 – Untyped Arithmetic Expressions