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