= [ 2*x | x <- [0..], x^2 > 3 ]这里的列表codice_1表示formula_5，codice_2表示谓词，而codice_3表示输出表达式。列表推导式按一个确定次序（不同于集合的成员）给出结果；并且列表推导式可以依次生成一个列表的成员，而非生成这个列表的全体，因此允许先前的无穷列表的成员的Haskell定义。Python语言用于生成列表的语法示例：»> s = [x**2 for x in range(10) if x % 2 ]»> print(s)[1,