找不到类似liftM2的功能

Question

myLiftM2 ::  Monad m => (a -> a1 -> m b) -> m a -> m a1 -> m b
myLiftM2 f x y = x >>= (\r1 -> y >>= (\r2 -> f r1 r2))

在liftM2中f返回b,但myLiftM2返回mb

Answer 1

tl; dr:使用,join :: Monad m => m (m a) -> m a因为普通电梯将返回m (m a).比如写

join $ liftM2 f a b

但是也...

liftMs也可以用Applicative- 例如

liftM2 a b c   == a <$> b <*> c
liftM3 a b c d == a <$> b <*> c <*> d

等等

在这种情况下,如果您愿意以这种方式书写,您可以干净利落地编写它:

import Control.Applicative

myLiftM2 :: (Monad m, Applicative m) => (a -> a1 -> m b) -> m a -> m a1 -> m b
myLiftM2 f x y = join $ f <$> x <*> y

编辑:
正如Daniel Wagner指出的那样,你可以轻松地写出来

join $ liftM2 a b c

作为等价物

join $ a <$> b <*> c

我对应用风格的建议是为了便于阅读,并且是一个单独的观点.