最近我们部门内部组成了一个算法读书小组，每周大家轮流分享自己的学习心得。为了方便学习我还写了一个小的 内部 OJ，看起来还挺还好玩的。界面风格学习了青岛大学的 OJ，后台使用 Docker 来做沙盒跑测试输出结果。顺便学习了实际使用 Docker。唯一麻烦点的是选了一个阿里的主机，最开始更新起来比 ......

After reading the first simple Scheme interpreter of bootstrap-scheme, I have some interests on studying various programming languages and interpreter ......

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

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

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

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

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

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

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

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