多参数单子绑定

Question

两个参数的函数有>>=吗？像

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

Answer 1

我不知道您可以使用什么聪明的组合器从标准库中构建它，但冒着风险说明显而易见的是，您自己实现起来非常容易：

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

> bind2 (\a b -> [a,b]) [1,2,3] [4,5,6]
[1,4,1,5,1,6,2,4,2,5,2,6,3,4,3,5,3,6]

多参数单子绑定

Multi-argument monadic bind

monads

haskell