我应该阅读Bird&Wadler的第一版或第二版"功能编程简介"吗？

Question

我听说Bird&Wadler的第一版 "功能编程简介"比第二版更好.第一版使用Miranda,第二版使用Haskell.

这是一个共同的建议吗？我的目标是认真对待函数式编程.彻底了解函数式编程的概念对我来说比了解语言的语法更重要,所以如果第一版在某种程度上更好的话,我对学习Miranda很好.

我知道F#和Scala.

Answer 1

我强烈推荐第二版,这是第一版的经过广泛修订,扩展和大部分改进的版本.我读过两个版本.第一版有一个关于用回溯解决8皇后问题的例子,不幸的是这个例子在第二版中被删除了.第二版是我最喜欢的关于Haskell的书.

这些例子来自数学,包括归纳证明.在第二版中鸟类从他们的规范中获取程序的材料非常棒,我喜欢这本书.如果您可以处理数学中的示例,那么这本书非常棒.

我认为本书也是关于Haskell的一个很好的介绍性文本,但是我发现只要我尝试编写Haskell程序,我就不得不阅读其他教程中的材料,并且不得不参考Real World Haskell.

关于数学和逻辑的另一篇很棒的文章,使用Haskell有助于理解数学的例子,是Haskell的逻辑,数学和编程之路.Bird的文本在Haskell编程上更加深入.

Answer 2

我使用 Haskell，它是一种纯函数式语言，而且非常标准。我不太记得 Miranda，但我认为这不是纯粹的函数式，就像 F# 和 Scala 一样。我的建议是以纯粹的方式学习，这可能是最难的，但不要在函数式编程中走任何捷径，这样你永远不会学到最好的东西。据我所知，Miranda 的采用率非常低，而 Haskell 多年来一直在稳步增长。