TaPL Chapter 8 – Typed Arithmetic Expressions
前面提到,对于第三章引入的 untyped lambda calculus,对一个 term 进行求值可能会有 … 阅读更多
lancern :: coffee -> food -> code
前面提到,对于第三章引入的 untyped lambda calculus,对一个 term 进行求值可能会有 … 阅读更多
在第五章中引入的 untyped pure lambda-calculus 中,所有的变量都有一个符号名称,例 … 阅读更多
本章从零开始,完整地介绍了 untyped pure lambda-calculus 的 syntax、求值规 … 阅读更多
本章给出了一个非常简单的 mini language,其 abstract syntax 如下: 围绕这样一个 … 阅读更多