如何在haskell中使用箭头操作符

Question

我想知道

之间的区别

->，>>=和<-

在haskell中

以及如何使用它们？

Answer 1

a -> b是函数类型。它描述了一个采用类型a并返回类型b的函数。

>>=是monadic绑定函数。它的类型为Monad m => m a -> (a -> m b) -> m b。如果您需要了解这一点，我建议您阅读Learn You a Haskell for Great Good。

<-是do块中的语法糖，其中do {a <- b; c}转换为b >>= \a -> c，即它基本上是编写>>=的更好方式。< / p>