谁首先说了以下几点？
monad只是endofunctors类别中的幺半群,问题是什么？
在一个不太重要的注意事项上,这是真的,如果是这样,你能给出一个解释(希望有一个可以被没有Haskell经验的人理解的那个)吗？
我一直在读类别理论中的单子.monads的一个定义使用一对伴随函子.monad是使用这些仿函数的往返定义的.显然,在类别理论中,附加是非常重要的,但我没有看到关于伴随函子的Haskell monad的任何解释.有没有人给它一个想法？
在学习Haskell时,我感觉作者并不总是告诉我一切,所以要真正理解它,我想知道类型系统背后的理论,monad和类似的概念.
大多数这些概念来自我听说过的类别理论,那么关于这个主题和相关主题的一些好书或网站是什么？
我熟悉类别理论中的monad(实际上它们是一个非常简单的概念),但>>=Haskell中的函数完全让我困惑.好的,所以将bind应用于一个M a和一个函数的值与a -> M u首先将monad应用于此函数,然后在指定的值上进行评估并将结果相乘:a >>= f是相同的join $ (fmap f) $ a.但这是如何自然地描述计算？是否有一些有用的方法可以帮助我理解它？
在某个地方是否有一些不适合C++丛林新鲜事物的文章？