CatCoding

当前 30,共 50 页

刷刷算法和 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 int ......

最近读的一些杂书

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

惰性求值和流

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

Types and Programming Languages (2)

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