构造过程抽象

SICP 选用 Lisp 作为讨论程序设计的基础,考虑到的是 Lisp 的一个重要特征:计算过程的 Lisp 描述(即过程)本身又可以作为 Lisp 的数据来表示和操作。 [Read More]
Tags: Program

费米悖论

今天零点,NASA 宣布发现 Kepler-452b。无意之中看到知乎上关于这意味着什么的一篇回答: [Read More]
Tags: