在学习Haskell时,我感觉作者并不总是告诉我一切,所以要真正理解它,我想知道类型系统背后的理论,monad和类似的概念.
大多数这些概念来自我听说过的类别理论,那么关于这个主题和相关主题的一些好书或网站是什么?
Philip Wadler和Simon Peyton Jones的论文应该让你开始研究Haskell背后的理论.Simon Peyton Jones 撰写的"函数式编程语言的实现"(在线提供)很老,但仍然很有趣.