haskell - 如何在 Haskell 中使用 (=<<) 编写 (<*>)

Question

有人可以解释为什么以下表示 (<*>)与 (=<<)作品:

f <*> a = (\f' -> return . f' =<< a) =<< f

Answer 1

这让我觉得这是一种刻意钝化的写作方式。给你这个代码的人是想惹你。这是 ap 的通常定义，这是干净且易于理解的:

ap f a = do
    f' <- f
    a' <- a
    return (f' a')

我们可以通过通常的 do 来运行它脱糖改造，替换 <-与 >>= :

ap f a =
    f >>= \f' ->
    a >>= \a' ->
    return (f' a')

现在，请注意最里面的一项是 \a' -> return (f' a') ，可以写成 return . f' .

ap f a =
    f >>= \f' ->
    a >>= return . f'

然后，由于 (=<<) = flip (>>=) ，我们可以替换 >>=与 =<<通过交换参数:

ap f a = f >>= (\f' -> return . f' =<< a)  -- reverse inner bind
ap f a = (\f' -> return . f' =<< a) =<< f  -- reverse the other bind

你去吧。