Filter (高阶函数)

在Python中，filter在说明文档中的语法是filter(function,iterable)

可以用如下办法用列表推导式实现

output = [x for x in iterable if function]

在Python2中filter返回一个list，而在Python3中filter返回一个迭代器对象。

在Haskell中，filter可以如下这样实现：

filter :: (a -> Bool) -> [a] -> [a]
filter _ []     = []
filter p (x:xs) = [x | p x] ++ filter p xs

这里的[]指示空列表，++是列表串接算子，而[x | p x]指示有条件持有一个值x的列表，如果条件p x成立（求值为True）。

filter even [1..10]

求值得到列表2, 4, …, 10，这是通过应用谓词even到整数列表1, 2, …, 10的按原次序的所有元素，并建立谓词对其返回布尔值true的那些元素的一个新的列表，因而给出的是只包含原列表的偶数成员的一个列表。反过来，代码例子：

filter (not . even) [1..10]

求值得出列表1, 3, …, 9，这是通过搜集整数列表1, 2, …, 10中，谓词对其返回布尔值false的那些元素（这里的.是函数复合算子）。

下面是一个过滤器过程的每个步骤的可视演示，对于整数列表X = [0, 5, 8, 3, 2, 1]依据函数：

${\displaystyle f(x)={\begin{cases}True&{\text{ if }}x\equiv 0{\pmod {2}}\\False&{\text{ if }}x\equiv 1{\pmod {2}}.\end{cases}}}$

这个函数表达了如果${\displaystyle x}$是偶数，则返回值是${\displaystyle True}$，否则是${\displaystyle False}$，这是谓词。

在应用过滤器在列表上的时候的处理步骤的演示