Monads 只是一种带有某些附加函数的Applicative Functor,它是一个Type类,它管理称为 monadic规则的三个基本规则。
所有这三个规则严格适用于Monad声明,如下所示-
class Monad m where return::a -> m a (>>=)::m a -> (a -> m b) -> m b (>>)::m a -> m b -> m b x >> y=x >>=\_ -> y fail::String -> m a fail msg=error msg
适用于Monad声明的三项基本法律是-
Left Identity Law - 返回函数不会更改值,并且在Monad中也不应更改任何内容。 可以表示为"return> => mf=mf"。
Right Identity Law - 返回函数不会更改值,并且在Monad中也不应更改任何内容。 可以表示为"mf> => return=mf"。
Associativity - Functor和Monad实例应以相同方式工作, 它可以用数学表示为“(f> ==> g)> => h=f> =>(g>=h)"。
在前面的示例中,我们已经使用了许多Monad,而没有意识到它们是Monad。考虑下面的示例,其中我们使用List Monad生成特定列表。
main=do print([1..10] >>= (\x -> if odd x then [x*2] else []))
此代码将产生以下输出-
[2,6,10,14,18]
参考链接
https://www.learnfk.com/haskell/haskell-monads.html
标签:mf,return,更改,Monad,示例,无涯,Functor,Monads,Haskell From: https://blog.51cto.com/u_14033984/8927237