2010-04-03 黄毅

翻译自:(不记得原文地址了,囧)

总有些事物会突然地出现,让人惊喜,因其并非原始设计使然。自然科学和数学即是这样。

爱斯基摩人有个故事,Raven创造世界以后,却认不出自己的造物。他创造了一个骨髓,然后过了一会,却从里面走出来一个人。“你是谁?你是怎么到这里来的?” Raven问他自己的造物。而在另一个故事里,生物自我繁殖的现象,也让上帝大吃一惊。

在λ算子和组合逻辑中,Church numerals也是这样一个惊喜。他不是预料之中的,更不是设计使然。还有其他一些让人大吃一惊的东西——比如自我复制程序的存在,比如固定点理论的意义。

Haskell的背后是一些强大的思想,学习Haskell会让你觉得,你是在探索一些新鲜的客观事物,而非观赏一座巨大的教堂。


blog comments powered by Disqus

转载请注明出处,收藏或分享这篇文章到: