什么是惰性求值 惰性在函数式编程语言中很常见，他的通俗解释就是一个变量或者表达式，不到必要的时候不会被 eval。比如函数在传递参数的时候，参数的值可以不确定。 这种方式叫做 call-by-nam...

Subtyping subtyping 解决的问题是多态，OO 的一个基本要素。 we say that S is a subtype of T, written S <: T, to mea...

ReferencesSide effect In particular, besides just yielding results, evaluation of terms in these lan...

最近掉进另外一个 PL 的坑里面，就是想读一下这本书，顺便继续熟悉一下 Ocaml。下面的记录是阅读过程中的一些摘录和理解。 1-2 章是数学预备部分，理论部分有些地方比较难懂，主要是一些数学符号看久...

前些天花了一些时间读这本书《计算的本质：深入剖析程序和计算机》。总的来说这本书非常不错。虽然讲述的是一些看似理论的东西， 里面有不少短小的 Ruby 程序，读起来还是非常有趣的。回想当年大学的时候有一...