如何在 Haskell 中定义任意 arity 函数，其中包含 0 的 arity ？

Question

我当前定义任意数量函数的方法如下，其中 A 是累加器，E 是输入参数类型，R 是结果类型。

combine :: A -> E -> A

class X r where
    foo :: A -> E -> r

instance X R where
    foo :: A -> E -> R


instance X r => X ( E -> r ) where
    foo :: A -> E -> E -> r
    foo ( a :: A ) ( x :: E ) =
        foo ( a `combine` e :: A )

doFoo = foo emptyA

但是 foo 的最小数量是 1。 foo 的最小数量仍然是 A -> 。 E-> R，而doFoo是E-> R. 我也想要 doFoo :: R. 如何？

Answer 1

又怎样呢

class X r where
    foo :: A -> r

instance X r => X (E -> r) where
    foo :: A -> E -> r
    foo a e = foo (combine a e)

？

您可能想查看 PrintfType 实例。正是因为他们，我才能够给出答案。