翠花儿，上代码

上篇帖子里聊到Sussman认为构造出健壮软件需要我们的系统支持continuation, 回溯，和生成-测试的方法。生成-测试最直观简单的方式是为系统提供多项结果。系统一个一个地测试这些结果，并接受符合要求的一个。Sussman举了一个例子：平方根函数通常返回正根，而抛弃那个负根。那按照生成-测试的方法，一个平方根函数应该将负根和正根一起返回，然后由系统决定到底哪个根更好。后来他进一步提到（第20页最后一段）可以返回正负根的AMB值。昨天写帖子写得头晕眼花，竟然忘记讨论这坨精彩的函数（编程意义上）。今天补上。我们可以看到一个简单（简单不等于浅显哈）的抽象，居然能实现众多美妙的功能。一个看似无意创造的玩具，竟然是有助于揭示构建辉煌软件大厦的秘密。

 

AMB这个操作符历史久远。AI大牛，LISP的奠基人，John McCarthy在这篇 1961年的论文里首次提出了模糊函数（ambiguous function）。我们一般把这个函数简写为AMB。似乎最近俺读的文章也好，书也好，都越来越年代久远。不过不怕打击喜欢追新的老大们：现在流行和将要流行的技术背后的理念都至少有20年的历史。比如这个AMB函数，虽然1961年就被提出，但知道1987年还有研究它的论文发表。互联网？Google一下Douglas Engelbart。面向对象？Google一下Simula和Alan Kay。垃圾收集？Google一下LISP。BPEL？Google一下Robin Milner。作为编程语言的XML? Google一下S-Expression。元编程？Google一下Metaobject Protocol和CLOS。这其实符合技术革新的规律：大学里新奇的编程手段差不多要20年到30年才被大众接受。新理念提出后，还得被无数学者验证，润色，完善；还需要无数工程师实现，优化，改进，推广。所以