标准的新手 Haskell 问题之一是与“单子到底是什么？！”同构的一句话。这个问题的标准答案臭名昭著地定义为“单子只是内函子类别中的一个幺半群，有什么问题？”
现在显然幺半群只是任何带有关联二元运算符的集合，其身份是集合的一个元素。但什么是“内函子的范畴”？更一般地说，什么是范畴，什么是内函子，而就此而言，什么是函子？（函子的 CT 定义与 Haskell 所说的 a 的关系有多密切Functor？）
问问题
317 次
标准的新手 Haskell 问题之一是与“单子到底是什么？！”同构的一句话。这个问题的标准答案臭名昭著地定义为“单子只是内函子类别中的一个幺半群，有什么问题？”
现在显然幺半群只是任何带有关联二元运算符的集合，其身份是集合的一个元素。但什么是“内函子的范畴”？更一般地说，什么是范畴，什么是内函子，而就此而言，什么是函子？（函子的 CT 定义与 Haskell 所说的 a 的关系有多密切Functor？）