Yukang's Page

刷刷算法和 OJ

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

Tiny Interpreters

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

最近读的一些杂书

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

惰性求值和流

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

Types and Programming Languages (3)

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 used in .....
阅读全文

Types and Programming Languages (2)

ReferencesSide effect In particular, besides just yielding results, evaluation of terms in these languages may assign to mutable variables (refe .....
阅读全文

Types and Programming Languages (1)

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

Understanding Computation

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

广告

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

Rust coming to 1.0

Again, one article just for writing practice. :) Rust-lang release alpha 1.0 today. Rust aims to be a systems level programming language to repl .....
阅读全文
Prev Next