在函数式编程中，过滤器（filter）是一个高阶函数，它按某种次序处理一个数据结构（通常是列表），来产一个新的数据结构，它精确的包含最初数据结构中给定对其返回布尔值codice_1的那些元素。
定义.在Haskell中，codice_2可以如下这样实现：这里的codice_3指示空列表，codice_4是列表串接算子，而codice_5指示有条件持有一个值codice_6的列表，如果条件codice_7成立（求值为codice_8）。
例子.在Hask