如何为这个递归函数定义正确的边缘定义?

Question

如果有人感兴趣，可以解决：

f :: Ord a => [a] -> [a]
f [] = []
f [x] = []
f (x:y:xs)
| x < y = max x y : f (y:xs)
| otherwise = f (y:xs)

示例输入：

f [1,3,2,4,3,4,5] == [3,4,4,5]
f [5,10,6,11,7,12] == [10,11,12]

更新的代码：

f [] = []
f [x] = [x]
f (x:y:xs)
| x < y = max x y : f (y:xs)
| otherwise = f (y:xs)

问题是它输出最后一个数字两次：

f [5,10,6,11,7,12] == [10,11,12,12]

以下旧内容

我正在编写一个函数，该函数采用列表并返回比前一个更大的元素。我想出了这个，但问题是当它到达最后一个元素时，xs ！！0 不存在，因此错误。在这种情况下，如何定义正确的退出点？

我的代码：

f :: Ord a => [a] -> [a]
f [] = []
f (x:xs) = max x (xs !! 0) : f xs

错误：

[3,3,4,4,4,5,*** Exception: Prelude.!!: index too large

Answer 1

你并不总是会向结果添加新元素;有时你什么都不会添加。

f :: Ord a => [a] -> [a]
f [] = []
f [x] = [x]
f (x:y:xs) = _  -- what goes here?

对于递归情况，有两种可能性：

1. 如果x < y，则将y添加到结果中。
2. 否则，不会向结果添加y。事实上，你不会添加任何东西。

在任何一种情况下，您都需要在递归调用中包含y，而不仅仅是xs，以便在下一次迭代中，y将是第一个要与之后的元素进行比较的元素。

我将其作为将上述逻辑实现为递归案例的练习。