2 月 2022

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