阅读建议

Item: The Haskell Road to Logic, Maths and Programming. Second Edition
Rating: 4
Author: piggybox

piggybox 评论 The Haskell Road to Logic, Maths and Programming. Second Edition 4

2006-11-26 12:26:41

此书不是主要讲逻辑的，而是讲怎么用Haskell的特性（主要是lazy evaluation）去实现数学和逻辑的一些命题的推导证明。例子都比较简单，所需要的简单的Haskell知识里面也顺带介绍了。不过这本书的阅读障碍确实是Haskell本身，即使对接触过别的FP语言如ML或Lisp的人来说Haskell也是足够另类的。可以考虑去看看Haskell for C Programmers做些概念上的准备：http://www.haskell.org/~pairwise/intro/intro.html

有关键情节透露