传递具有任意数量参数的函数

Question

我最近一直在向this awesome site 学习haskell，我刚刚在高阶函数一章中了解了将函数作为参数传递。我可以看到将函数作为参数传递是非常有用的，但根据我目前（lowley）的理解，您需要指定此函数中的参数数量，鉴于此函数，这可能非常有限：

--takes a function and returns a function that has flipped arguments
flip' :: (a -> b -> c) -> (b -> a -> c) --very limited
flip' f = g
    where g x y = f y x

有用，但仅限于带有两个参数的函数，有没有办法编写一个函数定义来接受具有任意数量参数的函数？我的猜测必须是某种参数列表，但我似乎找不到任何信息。谢谢！

Answer 1

实际上flip 可用于具有两个以上参数的函数，但可能不是您所需要的：

Prelude> :t (,,,)
(,,,) :: a -> b -> c -> d -> (a, b, c, d)
Prelude> :t flip (,,,)
flip (,,,) :: b -> a -> c -> d -> (a, b, c, d)

因为

(,,,) :: a -> b -> c -> d -> (a, b, c, d)

是

(,,,) :: a -> (b -> (c -> (d -> (a, b, c, d))))

前两个参数被翻转。这里a 是a，b 是b，但c 是c -> d -> (a, b, c, d)。

再一次，你希望通过翻转这个例子中的 3 参数函数来实现什么？

编辑：而且，还有可变参数函数——一个例子是printf。 ThisHaskell.org 页面非常好。简而言之，可以使用一些类型类魔法来实现这种效果。