翠花兒，上代碼

上篇帖子裏聊到Sussman認爲構造出健壯軟件需要我們的系統支持continuation, 回溯，和生成-測試的方法。生成-測試最直觀簡單的方式是爲系統提供多項結果。系統一個一個地測試這些結果，並接受符合要求的一個。Sussman舉了一個例子：平方根函數通常返回正根，而拋棄那個負根。那按照生成-測試的方法，一個平方根函數應該將負根和正根一起返回，然後由系統決定到底哪個根更好。後來他進一步提到（第2

>>阅读原文<<