默认库中有 bindN 吗？

Question

我想知道标准包中是否定义了bind2、bind3等函数？

bind2 :: (Monad m, Applicative m) => (a -> b -> m c) -> m a -> m b -> m c
bind2 f a b = join (liftA2 a b)

为什么我想要那个？因为我想将绑定减少到最低限度。例如，如果我们使用免费的 monad 方法来构建自动并发异步计算，或者像 Haxl 中那样获取：

fetchForSuggestions :: Artist -> [Like] -> Async [Suggestions]
fetchForSuggestions = error "implement me"

-- Two binds!
action :: ArtistId -> UserId -> Async [Suggestions]
action artistId userId = do
  artist <- fetchArtist artistId
  likes <- fetchUserLikes userId
  fetchForSuggestions artist likes

-- Single bind
-- here artist and user likes could be fetched concurrently
action :: ArtistId -> UserId -> Async [Suggestions]
action artistId userId = bind2 fetchForSuggestions (fetchArtist artistId) (fetchUserLikes userId)

我在这里介绍某种反模式吗？我应该尝试做什么：

complexAction :: ParamA -> ParamB -> ParamC -> Async Result
complexAction a b c = do
  (x, y, z) <- (,,) <$> subActionX a b <*> subActionY b c <*> subActionZ c a
  (i, j, k) <- (,,) <$> subActionI a x <*> subActionJ b y <*> subActionK c z
  finalAction i j k x y z

每个subAction 函数在哪里是无绑定的？ IE。去掉action，取ArtistId和UserId，只留下fetchForSuggestions？

Answer 1

使用AMP，您应该可以只写f <$> a <*> b，其中f :: (Applicative m) => a -> b -> c、a :: (Applicative m) => m a 和b :: (Applicative m) m b。由于 AMP 在 GHC Head 中通过（截至 2014 年 9 月），您现在实际上可以这样做了！你的代码变成：

action artistId userId =
  join (fetchForSuggestions <$> fetchArtist artistId <*> fetchUserLikes userId)

这现在适用于 GHC Head 中的任何 Monad，我认为它也适用于 7.8.3，并且肯定会在 7.10 中有效。

巧妙的是，这是通用的。对于任何 n 元动作k :: a_1 -> ... -> a_n -> m c，你可以写

join (k <$> (x_1 :: a_1) <*> ... <*> (x_n :: a_n)) :: m c

不过，一般来说，这种表示法并不比仅使用多个 do 绑定好得多。我认为您必须仔细考虑哪一个更具可读性。使用多个绑定不是一种反模式，而且实际上经常发生。 bind2 等 do 语法几乎不需要，我认为它不存在。