更改

添加530字节、 2021年7月11日 (日) 04:46

无编辑摘要

第1行：第1行：

[[Category:Haskell]]

+

== Functor ==

+

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

+

== Applicative ==

+

== Monad ==

+

=== 相关函数 ===

+

;<code>(>>=)</code>: bind

+

;<code>(>>)</code>: then 运算符。忽略上一个 Monad 的结果

+

;<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>

+

== 关系 ==

528

个编辑

Functor, Applicative 和 Monad (查看源代码)