while(1) { }

<译> MIT 为何停掉 SICP？

garfileo 2016-05-05 发布
7 收藏

在纽约举行的一次 Lisp 集会上，Gerry Sussman 被问到 MIT 为何停掉著名的 6.001 课程。这门课所用的教材是 Sussman 与 Abelson 所写的《Structure and Interpretation of Computer Programs》(中译《计算机程序...

会画画的乌龟

garfileo 2016-05-10 发布
2 收藏

Guile 是一种 Scheme 方言的编译器，我们将这种 Scheme 方言也称为 Guile。Guile 是为增强 GNU 项目的扩展性而开发的。GNU 项目开发者可以将 Guile 解释器嵌入自己的程序中，从而使得自己的程序能够支持脚本扩展...

(cons '(〇 . 前言) 《为自己写本-Guile-书》)

garfileo 2016-05-20 发布
9 收藏

物理学家 John Archibald Wheeler 曾言：『要想了解一个新的领域，就写一本关于那个领域的书』。

(cons '(壹 . 命令行程序界面) 《为自己写本-Guile-书》)

garfileo 2016-05-20 发布
3 收藏

前言中，我说要写一个文式编程工具。它的名字叫 zero，是个命令行程序，运行时需要由使用者提供一些参数与文式编程元文档路径。zero 读取元文档，然后根据使用者设定的参数对元文档进行处理，最终给出相应的输出...

(cons '(贰 . 输入/输出) 《为自己写本-Guile-书》)

garfileo 2016-05-24 发布
2 收藏

这个世界上，有很多人讨厌 Lisp 语言。Guile 是 Sheme 的一种方言，而后者是 Lisp 的一种方言，因此 Guile 自然也会被这些人讨厌。在他们给出的自己之所以讨厌 Lisp 的众多理由中，第一个理由是他们所阅读的一些 ...

(cons '(肆 . 数据类型) 《为自己写本-Guile-书》)

garfileo 2016-05-30 发布
4 收藏

所谓数据类型，是数据集合以及定义在这个数据集合上的一组运算。从大部分计算机的 CPU 的角度来看，存储器中的数据，只是以字节为单位的二值信号，并且 CPU 拥有一组可以操控它们的指令。因此，字节是一种数据类...

(cons '(伍 . 宏) 《为自己写本-Guile-书》)

garfileo 2016-06-03 发布
7 收藏

对于 Scheme 语言的初学者而言，Scheme 的宏似乎永远是他们津津乐道的重要特性之一。譬如，我在上一章的结尾处说过，『也许不会再有比 Scheme 更高层次的编程语言了。虽然人类的大脑依然在源源不断的构造着抽象之...

续延传递

garfileo 2016-06-09 发布
3 收藏

续延传递（Continuation Passing Style, CPS）是一种编程手法，不要相信我能够将它讲清楚——在敲这些字的时候，我刚刚开始看《The Little Schemer》的第八章的 multirember&co 这个函数的定义，而且是因为看不...

(cons '(叁 . 续延) 《为自己写本-Guile-书》)

garfileo 2016-05-26 发布
3 收藏

在本书前言中，我宣称本书的主题是用 Guile 实现一个文式编程工具。接下来，第一章中讲述了如何编写这个文式编程工具的命令行界面，第二章表面上是讲述 Guile 的 I/O 机制，实际上在最后讲述了如何利用 Guile 的 ...

续延，有什么难的……

garfileo 2017-12-31 发布
1 收藏

学 C 语言，拦路虎是指针。学 Haskell，拦路虎是单子（Monad）。学 Scheme，拦路虎是什么呢？初学者觉得是层峦叠嶂的括号，实际上是续延（Continuation）。

三生万物

garfileo 2018-01-05 发布
1 收藏

下面我先逐步构造出来这个谜题，然后从宏观的角度略微解释一下。事实上，也只能作宏观解释，否则纵身跳入续延的洞里，就更不容易弄清楚了。

宇宙的零成本分裂

garfileo 2018-01-06 发布
1 收藏

非确定性计算，就是科幻小说里的平行宇宙。反过来说更合理一些。不过，觉得一上来就说非确定性运算，很有气质……