Haskell：删除最大的列表

我有一个列表列表，以及一个返回包含最多项目的列表的函数：

extract ::[Plateau]->Plateau

extract(x:xs) 
  |x==maximumBy(compare `on` length)(x:xs)=x 
  |otherwise = extract(xs)
extract []=[""]

现在我需要一个函数来获取相同的结果[Plateau]并返回一个新的[Plateau]删除了之前最大的：

prune::[Plateau]->[Plateau]
prune(x:xs)
  |x < (maximumBy(compare `on` length)(x:xs)=x : prune (xs)
  |x>=maximumBy(compare `on` length)(x:xs)=[]
prune [] = [] 

我也称修剪为sortBy确保最大的列表位于最后：

(extract . prune) (sortBy(compare `on` length)(plateaus))

这开始可以正常工作。我的列表plateaus好像：

plateaus = ["01000"], ["01010", "11010", "10010"] ["00101"], ["01101", "01001"]]

这里是排序的：

 [["01000"], ["00101"], ["01101", "01001"], ["01010", "11010", "10010"]]

现在，我的函数 prune 返回一个列表

[["01000"], ["00101"]]

这告诉我，出于某种原因，哈斯克尔认为

["01101", "01001"] >= ["01010", "11010", "10010"]

当我可以清楚地看到 2 >= 3 不成立时。

为什么是这样？

像这样的事情可能是一个更简单的选择，也许：

prune :: [Plateau] -> [Plateau]
prune s@(w:x:xs) = filter ( /= maxplateau ) s
    where maxplateau = maximumBy (compare `on` length) s
prune _ = []

这依赖于 Haskell 的几个不错的部分。

第一个是模式匹配 - 您在问题和上一个问题中使用了它 - 在这里，我更进一步，要求一个至少包含两个元素的列表，w and x。这允许失败案例处理空列表和单条目列表案例，这应该（基于您提供的代码）导致相同的结果：一个空列表。

第二种是使用@符号，又名作为模式 http://en.wikibooks.org/wiki/Haskell/Pattern_matching#As-patterns。我在回答你之前的问题时向你展示了这一点。虽然只是语法糖，而不是必需的，但它可以使代码更具可读性。

第三种是柯里化，有时称为“偏函数应用”。就我而言，我使用了什么学习 Haskell http://learnyouahaskell.com/ calls 使用节的中缀函数的部分应用 http://learnyouahaskell.com/higher-order-functions#curried-functions（你应该阅读整个部分 - 非常有形成性，很好地解决了 Haskell 语言的支柱问题（事实上，如果你真的喜欢或想要初学者很好地掌握 Haskell，我会阅读《Learn you a Haskell》封面覆盖，因为它太棒了））。无论如何，这就是我正在使用的( /= maxplateau );通常，中缀函数/=接受两个相同类型的参数，并返回一个Bool- 通过用括号括起来并在一侧提供表达式，我已经部分应用了它。这产生了一个函数Plateau参数，非常适合提供给列表上的过滤函数Plateaus.

最后，在我的编辑中，我稍微改变了我的答案以使用where关键词。我这样做只是为了让部分应用更清晰一些。我鼓励您阅读更多有关where in the 其中部分 http://learnyouahaskell.com/syntax-in-functions#where学习 Haskell（你能看出我有偏见吗？:^)）