哈斯克尔的咖喱

Question

如您所知，foldl函数定义为：

  foldl :: (a -> b -> a ) -> a -> [b] -> a

我想将该函数重写为未使用的函数

我尝试了这个：

   foldl :: ( (a-> b-> a) , a , [b] ) -> a

那是对的吗？ 也许通俗易懂并不重要，但我要写考试，而且我很确定这将是要做的任务之一。

谢谢您的期待！

Answer 1

好吧，那肯定是未经处理的foldl形式。 但是，您可以在更高的级别上执行此操作–“完全未经处理的表单”应该是

foldl'' :: ( ((a,b) -> a), a, [b] ) -> a

不仅函数本身，而且函数参数都不是未处理的。 OTOH，仅在函数上调用uncurry只会产生

foldl''' :: ( (a->b->a), a ) -> [b] -> a

这可能因此也被称为“uncurried foldl ”，但它肯定不会在考试所需的解释。