推荐两本书

为了搞懂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岁，风华正茂待有时！而今要做的，就是用自己的人格选择和文化选择保护自己，去忍受这些选择带来的伤害（余秋雨语）。

评论

16 楼 fredzhang 2008-06-22  

T1能否推荐一下你的书单？

15 楼 落花虽有意 2008-06-15  

你们说的这些怎么从来没听说过。。。
越来越无知了

14 楼 smartxiaofish 2008-06-13  

我看过《逻辑的引擎》，不错，我喜欢

13 楼 jigsaw 2007-10-19  

真羡慕你们有这么多空。
要学的东西太多了，还轮不到纯享乐性质的学习。

12 楼 SilenceCliff 2007-10-19  

搞明白了Y Combinator,(有点Scheme基础还真不错。)
又迁出来SKI Combinator，直到Combinatory Logic。翻到了csdn上负暄琐话的博客（T1也推荐过）
一系列关于Lambda caculas的文章，还搜刮出一大堆经典论文……

正期待着啃下这些，思维技艺更上一层楼时， 

工作任务来了，TS那边的人和Singapore那边终于调通了Network,Dimensions可以访问了。他们解决了一周，我也就信马由缰了一周 

现在得开足马力，快速学习研究Dimensions，早点把CCCQ迁移过去。

Combinator（记得Ajoo在JE还有个系列文章）、Lambda caculas得先放放了。

11 楼 celine 2007-10-18  

原版和仿版价格肯定是有差别的

PS：造纸术是俺们老祖宗发明的，咋俺们的书就那么重呢～

Trustno1 写道

这书居然有中译版，我还从国外订购了原版，亏....亏大发了，90刀啊，能吃多少烤肉阿阿阿
                      
深受打击ing,陪我精神损失费90刀

10 楼 SilenceCliff 2007-10-18  

苏飞 写道

别zhuan这么多不知道的行不行？原来楼主还是一英资青年，难怪似这等意气勃发，呵呵。居然还知道仲永，可是仲永在这个论坛还是很多的，大致你还是不必伤吧。


另外，t1有这么牛？那我得认真翻翻他的技术贴子，我记得的到是他煞有介事的分析股市的无做空原理，生物学基因理论，etc等，


＠＃￥％。

其实是人浮于事啊~~

每个人的决策都是短期、长期利益考虑后的表现。：）

说到股市，其实我也觉得，我们作技术的也都应该了解。现在不必以往了，“文盲”的门槛可比以往高多了，可不光是数理化，或者计算机、英语……

9 楼 SilenceCliff 2007-10-18  

bigpanda 写道

Trustno1 写道

SilenceCliff 写道

Trustno1 写道

那Kunth不成外星人了?

ELVIS IS NOT DEAD HE IS JUES TO HOME.
 

只是最近也翻翻《ACM图灵奖演讲集》，看了苏运霖的那片序，发点感慨而已。见笑了。
向你学习。

刚订了本《程序语言理论基础》，里面涉及到不少泛代数、范畴论的东西，还要向你请教。

这书居然有中译版，我还从国外订购了原版，亏....亏大发了，90刀啊，能吃多少烤肉阿阿阿
                      
深受打击ing,陪我精神损失费90刀

读原版原汁原味的好，中文翻译没准错误多多呢，书中自有黄金屋，书中自有颜如玉 

不是没准，是肯定。 所以还得自己去ACM上面下论文，来个中英对照阅读。

其实，很羡慕能买得起原版书啊。那些书动不动就好几百RMB，收入微薄，实在是着不住。
想看《Smalltalk best practice patterns》,好不容易才找到个draft的版本。

8 楼 苏飞 2007-10-18  

别zhuan这么多不知道的行不行？原来楼主还是一英资青年，难怪似这等意气勃发，呵呵。居然还知道仲永，可是仲永在这个论坛还是很多的，大致你还是不必伤吧。


另外，t1有这么牛？那我得认真翻翻他的技术贴子，我记得的到是他煞有介事的分析股市的无做空原理，生物学基因理论，etc等，


＠＃￥％。

7 楼 bigpanda 2007-10-18  

Trustno1 写道

SilenceCliff 写道

Trustno1 写道

那Kunth不成外星人了?

ELVIS IS NOT DEAD HE IS JUES TO HOME.
 

只是最近也翻翻《ACM图灵奖演讲集》，看了苏运霖的那片序，发点感慨而已。见笑了。
向你学习。

刚订了本《程序语言理论基础》，里面涉及到不少泛代数、范畴论的东西，还要向你请教。

这书居然有中译版，我还从国外订购了原版，亏....亏大发了，90刀啊，能吃多少烤肉阿阿阿
                      
深受打击ing,陪我精神损失费90刀

读原版原汁原味的好，中文翻译没准错误多多呢，书中自有黄金屋，书中自有颜如玉 

6 楼 抛出异常的爱 2007-10-18  

PS：楼主所说一句都没看懂。

5 楼 白发红颜 2007-10-18  

这本<<程序语言理论基础>>, 当当卖RMB50.7, T1买英文版$90=RMB640.不过不知道翻译得怎么样?

4 楼 小螃蟹 2007-10-18  

我晕，就知道烤肉

3 楼 Trustno1 2007-10-18  

SilenceCliff 写道

Trustno1 写道

那Kunth不成外星人了?

ELVIS IS NOT DEAD HE IS JUES TO HOME.
 

只是最近也翻翻《ACM图灵奖演讲集》，看了苏运霖的那片序，发点感慨而已。见笑了。
向你学习。

刚订了本《程序语言理论基础》，里面涉及到不少泛代数、范畴论的东西，还要向你请教。

这书居然有中译版，我还从国外订购了原版，亏....亏大发了，90刀啊，能吃多少烤肉阿阿阿
                      
深受打击ing,陪我精神损失费90刀

2 楼 SilenceCliff 2007-10-18  

Trustno1 写道

那Kunth不成外星人了?

ELVIS IS NOT DEAD HE IS JUES TO HOME.
 

只是最近也翻翻《ACM图灵奖演讲集》，看了苏运霖的那片序，发点感慨而已。见笑了。
向你学习。

刚订了本《程序语言理论基础》，里面涉及到不少泛代数、范畴论的东西，还要向你请教。

1 楼 Trustno1 2007-10-18  

那Kunth不成外星人了?

ELVIS IS NOT DEAD HE IS JUES TO HOME.