Lambda/TTの小窝

Scheme 是一门神奇的编程语言，它不仅是世界上第一个完整支持闭包（closure）的语言，也是世界上第一个提供 continuation 的语言。你可以看到 wiki 上几个关于 Continuation 的条目全部用 Scheme 作为示例语言。如无特指，本文以及接下来的两篇文章中凡是提到 continuation 的地方，均是指 Scheme 中的 continuation。

什么是 continuation ，它的语义其实不难理解，The Scheme Programming Language 说得很明白：

During the evaluation of a Scheme expression_r, the implementation must keep track of two things: (1) what to evaluate and (2) what to do with the value. ... We call 'what to do with the value' the continuation of a computation.

Continuation 就是一个表达式被求值之后，接下来要做的事情。描述很简单，但是 Scheme continuation 的用法比较奇葩，导致我在学习 continuation 的过程中被

世界上有很多事物，明明都是同样的东西，但是在不同的层次观察，会发现它们展现出完全不同的性质，这是很有趣的事情。

整体论

或者叫做只看见局部，不看见全体，只看见树木，不看见森林。

应于泽瀛同志的号召，我把几个还算了解的领域内的经典书籍按我认为合理的阅读顺序在这写出，供各位暑期参考。我提到的书籍很多是多次再版的经典，要买书或者借书的同学注意一下最新的版次。

操作系统

操作系统的重要性不言

我用两个星期的课余时间查阅了数十篇关于软件恢复技术（software recovery）的论文，这篇文章是一个总结，并提出一个用于衡量软件恢复技术的模型，希望对学习和研究软件恢复技术的朋友能起到一点帮助。

软件恢复与故障研究以及可靠性领域是分不开的，最近几年涉及到故障领域的朋友，一定看过[1]。这篇论文提纲挈领地对可靠性计算领域的几乎所有重要概念都下了精确的定义，当然也包括Recovery。论文的

快速排序(quick sort)是目前应用最广泛的排序算法，它的平均复杂度为O(NlogN)，因其内循环较小，所以速度很快，而且不需要太多额外的空间（主要是递归调用所需的栈空间，对于随机文件不大于O(logN)）。关于算法的基础介绍，网上已有很多讲解得很好的资料，如July同学的《