用于学习纯函数语言（如Haskell）背后的理论的参考？ [英] References for learning the theory behind pure functional languages such as Haskell?

问题描述

在学习Haskell的过程中，我感觉到作者并不总是告诉我所有的东西，所以为了真正理解它，我想知道类型系统背后的理论，monad和这样的概念。

这些概念中的大多数来自我听说的类别理论，那么关于这个主题和相关主题的一些好书/网站是什么？

解决方案

论文由 Philip Wadler 和 Simon Peyton Jones 应该让你开始了Haskell背后的理论。本书实现函数式编程语言（在线提供）西蒙佩顿琼斯是相当古老，但仍然有趣。

While learning Haskell I had the feeling that the authors where not always telling me everything, so to truly understand it I would like to know the theory behind the type system, monads and concepts like that.

Most of these concepts come from Category Theory I heard, so what are some good books/websites on this topic and related topics?

解决方案

Papers by Philip Wadler and Simon Peyton Jones should get you started on the theory behind Haskell. The book The Implementation of Functional Programming Languages (available online) by Simon Peyton Jones is quite old but still interesting.

这篇关于用于学习纯函数语言（如Haskell）背后的理论的参考？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！