从具有相关值的函数中删除显式递归

Question

我有以下Haskell函数，它使用显式递归：

f :: [a] -> [a]
f (a:b:xs) = g a b : f (g a b : xs)
  where
    g :: a -> a -> a
f (_:[])   = []
f []       = []

请注意，递归调用取决于之前步骤（通过g ）计算的值。

有没有办法删除显式递归，如果是，如何？

Answer 1

您的函数恰好是一个发出中间值的折叠。 在Haskell中，这称为扫描 。 具体来说，除第一个元素外， scanl1相当于你的f 。

f = drop 1 . scanl1 g

Answer 2

使用尾递归，ghc可以对它进行优化

f (a:b:xs) acc = f (g a b : xs) (g a b : acc)
f _ acc = reverse acc

并打电话给

f myList []