更改

无编辑摘要
第1行: 第1行:  
[[Category:Haskell]]
 
[[Category:Haskell]]
 +
== Functor ==
 +
 +
<code>Functor</code> 可被想象成 Mappable。
 +
 +
== Applicative ==
 +
 +
== Monad ==
 +
 +
=== 相关函数 ===
 +
 +
;<code>(&gt;&gt;=)</code>: bind
 +
;<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>
 +
 
== 关系 ==
 
== 关系 ==