最近看了几本书，大多都是觉得有些意思就从亚马逊上买了。自从我的 Kindle 坏了之后，我就基本只买纸质书了。虽然纸质书携带不够方便，看起来更够味。 别逗了，费曼先生！(5*)这是我最推荐的一本，断断续续看了两遍。这本书虽然是翻译的，但是质量很够水准，费曼聪明的坏教授形象跃然纸上。费 ......

lazy-eval 什么是惰性求值惰性在函数式编程语言中很常见，他的通俗解释就是一个变量或者表达式，不到必要的时候不会被 eval。比如函数在传递参数的时候，参数的值可以不确定。 这种方式叫做 call-by-name，首先很明显这可能会造成一部分 performance 差异，如果 ......

ReferencesSide effectIn particular, besides just yielding results, evaluation of terms in these languages may assign to mutable variables (ref ......

Subtypingsubtyping 解决的问题是多态，OO 的一个基本要素。 we say that S is a subtype of T, written S <: T, to mean that any term of type S can safely be use ......

最近掉进另外一个 PL 的坑里面，就是想读一下这本书，顺便继续熟悉一下 Ocaml。下面的记录是阅读过程中的一些摘录和理解。 1-2 章是数学预备部分，理论部分有些地方比较难懂，主要是一些数学符号看久了眼花。解释器的实现大多只用看 syntax.ml 和 core.ml，就是语法和具 ......