绑定多个参数

Question

在Haskell中，有：

(>>=) :: Monad m => m a -> (a -> m b) -> m b

是否有功能:(？）

bind2 :: Monad m => m a -> m b -> (a -> b -> m c) -> m c

Answer 1

不完全，但你可以使用

bind2 :: Monad m => m a -> m b -> (a -> b -> m c) -> m c
bind2 x y f = join $ liftM2 f x y

Answer 2

或者，只使用第一原则（＆gt;＆gt; =），像这样（在ghci中尝试）

Prelude> :set +t

Prelude> let bind2 x y f = x >>= \ a -> y >>= \ b -> f a b
bind2 :: Monad m => m a -> m a1 -> (a -> a1 -> m b) -> m b

Prelude> let bind2 x y f = do a <- x ; b <- y ; f a b
bind2 :: Monad m => m t -> m t1 -> (t -> t1 -> m b) -> m b

Answer 3

这是符号的含义。

bind2 :: (Monad m) => m a -> m b -> (a -> b -> m c) -> m c
bind2 ma mb f = do
  a <- ma
  b <- mb
  f a b

这很简单，我可能甚至不会为它定义一个额外的运算符，而是直接使用do notation。