One2zeror的专栏

原创 计算机程序的构造和解释笔录(2-1):构造数据抽象

现在到了数学抽象中最关键的一步：让我们忘记这些符号所表示的对象。（数学家）不应该在这里止步，有许多操作可以应用于这些符号，而根本不必考虑它们到底代表这什么。 　　　　　　　　　　　　　　　（Hermann Weyl 思维的数学方式）　　我们可以通过 define 做过程抽象，将过程看作一类计算演化的一个模式，同时高阶过程能够提升语言的威力。　　而在解决复杂问题，处理和模拟复杂现象的时候，常需要构