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