The Haskell Road to Logic, Maths and Programming. Second Edition

我要写书评

The Haskell Road to Logic, Maths and Programming. Second Edition的书评 · · · · · · ( 全部 2 条 )

热门 最新 好友 只看本版本的评论

piggybox 2006-11-26 12:26:41 College Publications2004版

阅读建议

此书不是主要讲逻辑的，而是讲怎么用Haskell的特性（主要是lazy evaluation）去实现数学和逻辑的一些命题的推导证明。例子都比较简单，所需要的简单的Haskell知识里面也顺带介绍了。不过这本书的阅读障碍确实是Haskell本身，即使对接触过别的FP语言如ML或Lisp的人来说Haskell也...  (展开)

8 1回应 收起

chylli 2008-08-11 15:14:57 College Publications2004版

这里有电子版

http://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf  (展开)

5 0回应 收起

> 更多书评 2篇