Sim*_*n C 5 monads haskell
一个常见的例子用于说明monad是如何从伴随函子出现的State.这是一个很好的例子的原因之一是两个伴随函子,(->) r并且(,) r都是Hask上的endofunctors.其他规范的monad涉及进出Hask的伴随函子(例如,[]和Maybe),这使得对于了解Haskell但在类别理论中具有较少背景的人更难理解.
State
(->) r
(,) r
[]
Maybe
Hask上有伴随endofunctors出现的其他常见monad吗？(显然Identitymonad是一个这样的案例,但不是一个非常有趣的案例.)
Identity
归档时间：
8 年，7 月 前
查看次数：
193 次
最近记录：