SCIP,lambda,Church

贝壳最近在看SCIP，感觉受益匪浅。其中有一个2.6，使用函数表达数字，很难理解。贝壳查了查资料，这篇（http://blogs.sun.com/yongsun/entry/lambda%E6%BC%94%E7%AE%97%E4%B8%8Echurch%E8%AE%A1%E6%95%B0 ）写的很好，贝壳就不多说了。贝壳把自己写的内容贴上来，作为一个借鉴。 (define zero...