了解Haskell的过滤器

时间:2010-04-02 17:59:56

标签: list haskell filter

据我所知,Haskell的过滤器是一个高阶函数(意思是一个函数,它将另一个函数作为参数),它通过一个列表检查哪个元素满足某个布尔条件。

我不太明白它的定义:

filter:: (a->Bool)->[a]->[a]
filter p [] = []
filter p (x:y) | p x = x:filter p y
               | otherwise = filter p y

我明白如果我将一个空列表传递给该函数,它只会返回一个空列表,但是如何读取最后两行?

2 个答案:

答案 0 :(得分:11)

它使用guards如果你来自具有C风格语法的语言有点类似于switch结构。

最后一个模式读取:如果函数p使用参数x求值为true,则返回列表的头部和列表的已过滤尾部。否则只返回列表的过滤尾部。

您也可以像这样重写它:

filter p (x:y) = if (  p x ) then
                     x:filter p y
                 else
                     filter p y

答案 1 :(得分:7)

考虑description of filter in the docs

  应用于谓词和列表的

filter返回满足谓词的那些元素的列表;

filter p xs = [x | x <- xs, p x]

要向不理解列表推导的人解释,您可能会说filter有三种情况:

  1. (简单情况)当要过滤的列表为空时,结果也为空
  2. 当要过滤的列表的头部满足谓词时,它是结果的一部分
  3. 否则,跳过头部并过滤列表的其余部分
  4. 这些案例与您问题中定义的最后三行一一对应。

    小的触摸可以使定义更加惯用,因此更容易阅读:

    filter _ []      = []
    filter p (x:xs)
      | p x          = x : filter p xs
      | otherwise    =     filter p xs
    

    对于一个空列表,谓词可以是任何东西,下划线明确表明它在这种情况下不重要。

    使用(x:y)而不是与(x:xs)进行匹配 - 认为:“ex和exes” - 强调您将列表分离到其头部(类型a)和尾部(类型为[a]a列表。)

    最后,将递归调用排列在filter之后很容易让读者看到后一种情况省略了x