3

标准的新手 Haskell 问题之一是与“单子到底是什么?!”同构的一句话。这个问题的标准答案臭名昭著地定义为“单子只是内函子类别中的一个幺半群,有什么问题?”

现在显然幺半群只是任何带有关联二元运算符的集合,其身份是集合的一个元素。但什么是“内函子的范畴”?更一般地说,什么是范畴,什么是内函子,而就此而言,什么是函子?(函子的 CT 定义与 Haskell 所说的 a 的关系有多密切Functor?)

4

0 回答 0