list - 有没有办法在递归时将列表的长度保存在变量中？

Question

假设我有一个递归函数，它接受两个列表并返回一个 int，如下所示

fn ys (x:xs) 
       | --some condition = original length of (x:xs) 
       | otherwise = fn ys xs

如果条件一为真，我需要返回输入列表的原始长度(在递归弄乱它之前)。有没有办法保存原来的长度？

Answer 1

您可以使用“worker”函数(传统上称为 go)进行递归，它允许您引用原始参数并定义额外的变量:

fn ys xs' = go xs'
  where
    l = length xs'
    go (x:xs) 
           | --some condition = l
           | otherwise = go xs

您可能还想要一个 go [] 的保护套。