2015-03-07
ReferencesSide effect
In particular, besides just yielding results, evaluation of terms in these lan...
2015-03-07
Subtyping
subtyping 解决的问题是多态,OO 的一个基本要素。
we say that S is a subtype of T, written S <: T, to mea...
2015-03-01
最近掉进另外一个 PL 的坑里面,就是想读一下这本书,顺便继续熟悉一下 Ocaml。下面的记录是阅读过程中的一些摘录和理解。
1-2 章是数学预备部分,理论部分有些地方比较难懂,主要是一些数学符号看久...
2015-02-10
前些天花了一些时间读这本书《计算的本质:深入剖析程序和计算机》。总的来说这本书非常不错。虽然讲述的是一些看似理论的东西,
里面有不少短小的 Ruby 程序,读起来还是非常有趣的。回想当年大学的时候有一...
2015-01-19
我到了一个做无人机的公司工作,叫做大疆创新 (DJI)。最近内部有一些推广活动,有感兴趣的朋友了解一下。
大疆精灵 这页面我隔壁小伙子做的,看起来还不错 :)
Phantom 系列是公司卖得最好的一...