e_2可以如下这样实现：这里的codice_3指示空列表，codice_4是列表串接算子，而codice_5指示有条件持有一个值codice_6的列表，如果条件codice_7成立（求值为codice_8）。
例子.在Haskell中，代码例子：求值得到列表codice_9，这是通过应用谓词codice_10到整数列表codice_11的按原次序的所有元素，并建立谓词对其返回布尔值codice_1的那些元素的一个新的列表，因而给出的是只包含原列表的偶数成员的一个列表。反过来，