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，就是语法和具 ......

前些天花了一些时间读这本书《计算的本质：深入剖析程序和计算机》。总的来说这本书非常不错。虽然讲述的是一些看似理论的东西，里面有不少短小的 Ruby 程序，读起来还是非常有趣的。回想当年大学的时候有一门课程叫做形式语言与自动机，当时觉得这门课真是太没劲了。理论的东西终究需要一些实践才能 ......

我到了一个做无人机的公司工作，叫做大疆创新 (DJI)。最近内部有一些推广活动，有感兴趣的朋友了解一下。 大疆精灵 这页面我隔壁小伙子做的，看起来还不错 :) phantom Phantom 系列是公司卖得最好的一款产品，市场主要在欧美。 这个东西挺好，比如能拍出这样的照片：stac ......

Again, one article just for writing practice. :) Rust-lang release alpha 1.0 today. Rust aims to be a systems level programming language to re ......