Question

如何在Haskell中编写一个函数，它接受一个列表和一个数字，并删除大于该数字的所有元素并返回列表。

删除[5,4,3,9,1] 5应返回[5,4,3,1]

我编写了以下方法，当它达到大于给定数量时，会变成无限循环。我出去了[5,4,3然后程序没有结束。

remove l1 x = if (null l1 == True)
                then l1
                else if (head l1 > x)
                       then remove (drop 0 l1) x
                       else ((head l1) : remove (tail l1) x)

这是我第一次尝试Haskell程序，请告诉我这里我做错了什么。

由于

Answer 1

嗯，你的开始还不错，但重要的是要注意你没有采用最“Haskell”的方法。

让我向您展示一些解决此问题的方法：

方法1：递归函数

首先，我们可以编写一个递归函数（就像你一样）来解决这个问题。

为了做到这一点，我们首先考虑一个基本情况（在正常情况下不会允许无限循环）。这应该有效：

remove [] _ = []

这简单地说，如果我们要从空列表中删除元素，我们最终得到一个空列表。就这么简单。 _表示我们不关心x是什么价值。

现在我们必须定义其他案例。为此，我会使用警卫（我确信还有其他方法，基本情况也是为了完成）：

remove [] _ = []
remove (x:xs) y
 | x > y     = remove xs y
 | otherwise = x : remove xs y

所以，第一行（remove (x:xs) y）表示我们的函数将采用一个列表（其中x是头/第一个值，xs是其余值。

第二行是说，如果x大于y，请考虑其余元素，我们不认为x是我们最终的一部分溶液

第三行（otherwise捕获所有案例（如果被点击），就像其他语言的else条件块中的if/elseif/else一样。如果我们达到这一点，我们知道x > y不是真的，所以我们考虑其余的值（xs），我们包括x，但我们已经完成了x暂时。

现在，这种方法运作得体，但有一个更简单的方法：

方法2：列出理解

使用list comprehensions我们可以构建一个非常简单，功能强大的解决方案：

remove xs y = [x | x <- xs, not (x > y)]

如果你曾经研究过set-theory（特别是set-builder notation），这对你来说应该很奇怪。让我们来看看每个部分的含义。

[...] - 括号中的某些内容仅表示我们正在构建列表
x |... - 表示我们的列表将包含x个（|表示“这样”）...
x <- xs, - x是xs的元素，（逗号的意思是“和”）......
not (y > x) - y大于x

如您所见，第二种方法几乎完全模仿了您的问题描述。这确实是Haskell的强大功能，单词和抽象往往直接映射到Haskell代码。

方法3：使用filter

如下面的评论所述，第三种选择是将其定义为：

remove y = filter (<=y)

其中过滤器仅保留小于或等于y的元素。（感谢Daniel Wagner采用这种方法）。

Answer 2

您可以在函数args中使用模式匹配，并使用警卫进行过滤：

remove []    x = []
remove (h:t) x | h > x = remove t x
               | otherwise = h : remove t x

您也可以使用功能filter，它可以满足您的需求：

remove l x = filter (<= x) l

如何在haskell中编写递归函数

2 个答案: