haskell - 与 Functor 合作时的令人振奋的策略

Question

假设我有一个函数

foo :: a -> b -> c -> d -> e
foo a b c d = somefn a b c d

以及一些分别返回我a、b、c和d的函数

getA :: a
getB :: b
getC :: f c
getD :: d

只是返回c的函数返回一个带有c的仿函数

现在我有像这样的调用站点

callfoo = foo getA getB getC getD

显然这不会起作用，因为 getC 返回 c 的仿函数而不是 c 本身。所以唯一的办法似乎是

callfoo = (foo getA getB) <$> getC <*> getD

除了对 foo 的简单调用在这里丢失之外，callfoo::f e 的签名也发生了变化。保持简单的一种方法是 (extract getC) 但这是邪恶的，会让你进入 Haskell hell 的一个特殊隔间。我知道。

我的一般问题是:我如何处理这样的情况:我主要使用非函数值，但突然其中一个值迫使我也提升所有其他值？

Answer 1

您可以使用do语法:

do
    c <- getC
    return (foo getA getB c getD)

如果您打开ApplicativeDo，这将使用高效的fmap形式，而不是潜在低效的>>=和return 表单。

有一个quasiquoter on Hackage for idiom brackets这会让你写

[i| foo (pure getA) (pure getB) getC (pure getD) |]

否则，可用的糖就很少了。有很多方法可以用现有的组合器来拼写您的操作，这些方法通常在通用适用于所有情况和紧凑之间进行权衡。一些示例包括:

flip (foo getA getB) getD <$> getC
(\c -> foo getA getB c getD) <$> getC
foo getA getB <$> getC <*> pure getD
foo <$> pure getA <*> pure getB <*> getC <*> pure getD