ML程序设计教程•短评
-
0
悟道
2017-02-17
很有意思的书，翻过一遍了，还得再多翻几遍，想买一本纸质的，但是已经不卖了？
-
0
纯粹的向往
2016-07-18
这本书拖了很久，终于看完了。这本书讲的是SML的函数式编程，不过说到底函数式语言最不可替代最大的优势的地方还是做程序证明，这本书讲的很细甚至罗嗦，不过最有意思的地方还是最后一章，简单讲述了证明定理机的组成和设计。
-
0
[已注销] 2014-04-27
非常棒的函数式入门教材！
-
0
Alex
2011-01-27
翻得比较一般
-
0
洋葱
2009-01-08
国内不多的fp书籍，二手才买到的绝版啊...
-
0
壮壮
2012-08-02
好书,难读...
-
0
换个昵称
2012-11-16
很小众的语言。。。
-
0
宾州星际哥
2013-08-12
我觉得比sicp更适合入门
-
0
王拾闲
2008-03-05
想念柯老师，程序入门
-
0
哗呀哩呜
2011-10-26
截至收藏本书前，书架上只有两本计算机书是被我反复研读过的：SICP和这本。其实何必呢，编程只是乐趣，我没想过做程序员啊
-
0
贝塔
2012-03-08
放弃了，看不下去了，连个sml的编译器都没编译出来
-
0
城北大洋桃有毛
2013-06-22
看完这个喜欢的Ocaml
