7依据函数：这个函数表达了如果formula_2是偶数，则返回值是formula_3，否则是formula_4，这是谓词。
语言比较.过滤器是很多编程语言的标准函数，比如Haskell、OCaml、Standard ML或Erlang。Common Lisp提供了函数codice_18和codice_19。（SRFI）1提供了Scheme语言过滤器的一个实现。C++提供了codice_20（可变）和codice_21（不可变）；C++11补充提供了codice_22（不可变）。S