logo标签列表

学习纯函数式语言（如Haskell）背后理论的参考资料是什么？

haskellfunctional-programming
12
在学习Haskell时，我感到作者并没有总是告诉我所有的内容，所以为了真正理解它，我想了解类型系统、单子和类似这样的概念背后的理论。
我听说大多数这些概念来自范畴论，那么有哪些关于这个主题及相关主题的好书籍/网站呢？
1
FP、指称语义和范畴论之间的关系非常微妙。此外，没有扎实的数学知识，很难理解范畴论：因为它非常抽象，你需要从非常不同的领域中举出许多例子才能理解它。一本全面的参考书是Saunders MacLane的《工作数学家的范畴论》。令我惊奇的是，这本书被做着非常不同的事情并且彼此不理解的人们所使用：代数几何学家、逻辑学家、程序员、物理学家、拓扑学家等等。 - Alexandre C.
5个回答
8
2
这篇论文《为什么函数式编程很重要》是一篇非常好的阅读材料。感谢你指引我阅读它。点赞！ - Charlie Flowers
这些看起来很有潜力，我会研究一下。谢谢！ - Rubendv
4
我建议您查看一些与此主题相关的研究论文。Philip Wadler的“理解单子”和“用于函数式编程的单子”是了解单子的两个好起点。
您可以在http://www.haskell.org/haskellwiki/Research_papers找到大多数链接。
4
3
3

如果您真正想了解函数式语言，那么λ演算绝对是重要的。我可以推荐Henk Barendregt的介绍，以及他的书籍（全文在线）。

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接