- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
关闭。这个问题是opinion-based .它目前不接受答案。
想改进这个问题?更新问题,以便 editing this post 可以用事实和引用来回答它.
7年前关闭。
Improve this question
我听说最好阅读 first edition Bird & Wadler 的“函数式编程简介”比 second edition .第一版使用Miranda ,第二版使用 Haskell。
这是一个普遍的建议吗?我的目标是认真对待函数式编程。彻底了解函数式编程的概念对我来说比了解一门语言的语法更重要,所以如果第一版更好,我可以学习 Miranda。
我知道 F# 和 Scala。
最佳答案
我强烈推荐第二版,它是第一版的广泛修订、扩展和大部分改进的修订版。我读过两个版本。第一版有一个用回溯解决8皇后问题的例子,不幸的是这个例子在第二版中被删除了。第二版是我最喜欢的关于 Haskell 的书。
这些例子来自数学,包括归纳证明。在第二版中从 Bird 的规范导出程序的 Material 很棒,我喜欢这本书。如果你能处理数学中的例子,这本书是极好的。
我认为这本书也是一本很好的 Haskell 介绍性书籍,但是我发现,当我尝试编写 Haskell 程序时,我经常不得不阅读其他教程中的 Material ,并且不得不不断引用 Real World Haskell。 .
另一本关于数学和逻辑的精彩文章是 Haskell Road to Logic, Maths and Programming,其中包含使用 Haskell 的示例,有助于理解数学。 . Bird 的文章更深入地介绍了 Haskell 编程。
关于haskell - 我应该阅读 Bird & Wadler 的 "Introduction to Functional Programming"的第一版还是第二版?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/3993730/
Wadler写了一篇令人惊叹的论文:Propositions as Types - 他在那里谈论 Howard-Curry对应,您可以根据程序类型检查程序行为。 (对于给定的语言子集)。 最近Rich
我正在使用 contrib 中的 Prettier Printer 实现。 Idris 中的图书馆. 当我用 |//| 弃牌时Doc 列表中的运算符s,性能迅速爆发,即在我失去耐心之前,以下代码不会终
已结束。此问题正在寻求书籍、工具、软件库等的推荐。它不满足Stack Overflow guidelines 。目前不接受答案。 我们不允许提出寻求书籍、工具、软件库等推荐的问题。您可以编辑问题,以便
有人可以帮我理解 Wadler 题为“Comprehending Monads”的论文中的以下定义吗? (摘自第 3.2 节/第 9 页,即“Strictness Monad”小节。) Sometim
关闭。这个问题是opinion-based .它目前不接受答案。 想改进这个问题?更新问题,以便 editing this post 可以用事实和引用来回答它. 7年前关闭。 Improve this
我是一名优秀的程序员,十分优秀!