::::概述.考虑下述集合建构式符号：可读作"formula_2是所有"2乘formula_3"的数的集合，满足formula_3是自然数(formula_5)且formula_3的平方大于formula_7."列表推导式与从一个输入列表或迭代器依次生成一个列表的表示有相同的语法构件：在Haskell的列表推导式语法中，这个集合建造结构类似的写为如下：s = [ 2*x | x <- [0..], x^2 > 3 ]这里的列表codice_1表示formula_5，codice_2表