查看“Functor, Applicative 和 Monad”的源代码

[[Category:Haskell]]
== Functor ==

<code>Functor</code> 可被想象成 Mappable。

== Applicative ==

== Monad ==

=== 相关函数 ===

;<code>(&gt;&gt;=)</code>: bind
;<code>(&gt;&gt;)</code>: then 运算符。忽略上一个 Monad 的结果
;<code>(&gt;=&gt;)</code>: monad 复合，<code>(bs &gt;=&gt; cs) a</code> 可理解为 {{code|haskell|do { b <- bs a; cs b }<nowiki/>}}
;<code>(&lt;=&lt;)</code>: <code>flip (&gt;=&gt;)</code>，就像 <code>(.)</code> 运算符<ref>[[wikibooks:Haskell/Understanding_monads#Monadic_composition]]</ref>

== 关系 ==

<code>Monad</code> 是 <code>Applicative</code> 的 superclass，<code>Applicative</code> 是 <code>Functor</code> 的 superclass。

=== 相关函数的关系 ===

对于一个 <code>Monad</code>：

* <code>liftM</code> 与 <code>fmap</code> 可互换
* <code>ap</code> 与 <code>(&lt;*&gt;)</code> 可互换
* <code>return</code> 与 <code>pure</code> 可互换

== 运用 ==

需要给一个类型实现 <code>Monad</code> 时，应从 <code>Functor</code> 开始实现，再实现 <code>Applicative</code> 和 <code>Monad</code>。如下

<syntaxhighlight lang=haskell>
instance Functor Foo where
    fmap = -- etc.

instance Applicative Foo where
    pure = -- etc.
    (<*>) = -- etc.

instance Monad Foo where
    (>>=) = -- etc.
</syntaxhighlight>

但由于 <code>return</code> 是 <code>Monad</code> 版本的 <code>pure</code>，<code>ap</code> 是 <code>Monad</code> 版本的 <code>(&lt;*&gt;)</code>，为了方便也可如下实现<ref>[[wikibooks:Haskell/Understanding_monads#liftM_and_Friends]]</ref>

<syntaxhighlight lang=haskell>
instance Monad Foo where
    return = -- etc.
    (>>=) = -- etc.

instance Applicative Foo where
    pure = return
    (<*>) = ap

instance Functor Foo where
    fmap = liftM
</syntaxhighlight>

== 参考资料 ==

<references />