Question

您好，我正在尝试执行以下操作：

module MyMonad where
f::(Monad m),=>m (a->b->c)->m a -> m b -> m c
f mf ma mb=
    ma >>= \a ->
    mb >>= \b ->
    mf >>= \c ->
        return (c a b)

并像这样使用它：

f (Just 3) (Just 4)

我得到以下错误：

* Non type-variable argument in the constraint: Num (a -> b -> c)
      (Use FlexibleContexts to permit this)
    * When checking the inferred type
        it :: forall a b c.
              (Num a, Num (a -> b -> c)) =>
              Maybe b -> Maybe c

我不知道如何放置多个类型约束，所以我尝试这样：

f (Just [3]) (Just [4]) (++)-（知道(++)可以应用于任何类型-monoid）。

在这种情况下，我得到以下异常：

* Couldn't match expected type `Maybe b0'
                  with actual type `[a1] -> [a1] -> [a1]'
    * Probable cause: `(++)' is applied to too few arguments
      In the third argument of `f', namely `(++)'
      In the expression: f (Just [3]) (Left [3]) (++)
      In an equation for `it': it = f (Just [3]) (Left [3]) (++)

Answer 1

f需要一个monad包装的函数作为 first 参数。第一次尝试时，您根本没有传递函数；在第二个中，您将(++)作为 last 参数传递。

以下工作正常：

> f (Just (++)) (Just [3]) (Just [4])
Just [3,4]

liftM2（更常见的是liftA2）已经完成了您想要的工作。

> import Control.Monad (liftM2)
> liftM2 (++) (Just [3]) (Just [4])
Just [3,4]
> import Control.Applicative (liftA2)
> liftA2 (++) (Just [3]) (Just [4])
Just [3,4]

无法在monad中提升多个参数

1 个答案: