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 的过程中被

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

什么是控制论？

根据创始人维纳（Nobert Wiener）的定义，控制论（Cybernetics）是“关于动物和机器中控制和通信的科学”，简言之，控制论的中心问题就是控制与