推荐两本书

阅读更多

为了搞懂Monad，在圈子下了资料。发现需要Haskell的基础。
没办法，就Haskell,翻到本《A Gentle Introduction to Haskell 98》.翻了两天，GHC、Hugs上倒腾点。有过Scheme、Erlang的浅薄接触，也就对前面部分的没有太大惊奇或触动。按捺不住，就像上JE来找找捷径。
Ajoo是高手，他关于Monad的那片文章，实在是微言大义。篇幅之长，自己心情之浮躁，真能明白的寥寥。不过Ajoo也说了“没有fp的相关经验，和Monad的数学知识”确实不是太容易能看明白。

心情不能收拾，却也不甘心如此蹉跎。

T1的“Java 语言中的函数编程”是篇老贴，从名字上看，无非是用java模拟fp，也正因为这种浅薄的第一印象，多次错过。

尽最大努力和耐心翻阅完毕。对T1，真是只能惊为天人了。

SICP不是没研读过，不过是中文版 ：（，如果不是帖子里再次提起fix point，我已几乎全然忘却了。惭愧啊~~~~~

长了关于Y Combinator的见识，
方才知晓MIT 计算机系系徽的如此来历。
下到了lambda calculus的资料。

轻巧腾挪于数门程序设计语言之间，实为惊叹。 不过也因为Python的原因，T1的那几个问题没能仔细看。：（

哈，说到数学，就只能说更惭愧了，年少之时可曾有全国奥赛满分之意气风发，而今，那些都已是明日黄花，只能徒伤仲永了。

愚钝以致如何? 至于见山是山，见水是水。刚看SICP，了解不动点时，也就只想不过一可玩赏之趣味。然则岂可知，如此之浅见，哪里能窥得拓扑、混沌那一方殿堂。咳，汗颜啊……

打开lambda calculus，看到了一串熟悉的名字：Leibniz、Frege、Cantor、Russell、Hilbert、Godel。想起了两本年初看过的书。借此感慨泛滥之际，推荐于大家，以求共勉！

《逻辑的引擎》、《数学悖论与三次数学危机》。

BTW：对T1的造诣，只能说是心悦诚服。仰望之情犹如当年苏运霖之于Knuth，不过他能将个人之境遇归咎于国家，而我实在没有什么好推诿的。还好，我才不到24岁，风华正茂待有时！而今要做的，就是用自己的人格选择和文化选择保护自己，去忍受这些选择带来的伤害（余秋雨语）。