避免嵌套應用程序，即應用程序f => f（fa）

Question

我有一個功能：

someFun :: Applicative f => f a -> b -> f c
someFun x y = …

我需要給someFun的y參數是一個“ fb”，可以說我有值

someX :: Applicative f => f a
someY :: Applicative f => f b

我試着做

LiftA (someFun someX) someY

但這給了我f (fc)

我需要得到一個fc

Answer 1

你問的是，單子可以做，但Applicatives 不了 的東西。 對於Monad實例，這只是join ：

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

您所要求的是不可能的，但是至少現在您有了一個完美的例子，可以證明用Monad可以做什么而用Applicative不能做到。