第1行: |
第1行: |
| [[Category:Haskell]] | | [[Category:Haskell]] |
| + | == Functor == |
| + | |
| + | <code>Functor</code> 可被想象成 Mappable。 |
| + | |
| + | == Applicative == |
| + | |
| + | == Monad == |
| + | |
| + | === 相关函数 === |
| + | |
| + | ;<code>(>>=)</code>: bind |
| + | ;<code>(>=>)</code>: monad 复合,<code>(bs >=> cs) a</code> 可理解为 {{code|haskell|do { b <- bs a; cs b }<nowiki/>}} |
| + | ;<code>(<=<)</code>: <code>flip (>=>)</code>,就像 <code>(.)</code> 运算符<ref>[[wikibooks:Haskell/Understanding_monads#Monadic_composition]]</ref> |
| + | |
| == 关系 == | | == 关系 == |
| | | |