在学习Haskell时,我感觉作者并不总是告诉我一切,所以要真正理解它,我想知道类型系统背后的理论,monad和类似的概念.
大多数这些概念来自我听说过的类别理论,那么关于这个主题和相关主题的一些好书或网站是什么？
haskell functional-programming
functional-programming ×1
haskell ×1