使用前向递归删除列表的元素

Question

我正在编写一个程序来删除第一个适合谓词的元素。

remove' (fun x -> x = 2) [1;3;2;4;2] => [1;3;4;2]

问题是：如何用前向递归编写它？可能吗？使用尾递归，这不是问题。如果它们不适合谓词，我只需将下一个元素添加到 acc。

我在想

List.fold_right,

但也许有不同的方法可以做到这一点？

Answer 1

没有“前向递归”这样的东西。尾递归定义了一种特殊的递归，它发生在尾部位置。当你想引用一个不在尾部位置的递归时，你称之为“非尾部递归”

在您指定的代码中根本没有递归。因此，我建议您首先尝试编写remove_if 函数并尝试确定它是尾还是非尾。

更新

我通常尽量不为别人解决作业，但在这种情况下，我会先给你一个最常见的remove_if函数定义：

 let rec remove matches = function
    | [] -> []
    | x :: xs when matches x -> remove matches xs
    | x :: xs -> x :: remove matches xs

这个函数中有两次递归：

| x :: xs when matches x -> remove matches xs
                            ^^^^^^^^^^^^^^^^^
                            last expression - 
                            tail recursion

| x :: xs -> x :: remove matches xs
                  ^^^^^^^^^^^^^^^^^
                  not the last - 
                  non tail recursive

所以，最后一种情况需要澄清一下：在x 可以添加到remove matches xs 的结果之前，需要评估后一个表达式。这意味着计算机需要在某处存储x，以等待remove matches xs 被评估。

所以，没有有趣的部分，你有一个非尾递归版本。现在，尝试递归地实现它。有fun！

Answer 2

ivg 解决方案对我有很大帮助，但我需要对其进行一些升级。我的回答是：

 let remove' p xs =
   let rec remove_guard p xs g =
      match xs with 
        [] -> []
      | hd::tl -> if (p hd && g = 1) then remove_guard p tl 0 
                  else  hd::remove_guard p tl g
 in remove_guard p xs 1

也许不是最好的，但它只删除了一个元素。

感谢大家的帮助。我真的很感激。