intensional

内涵列表 如下 [x * 2 | x <- [1..10]] [2,4,6,8,10,12,14,16,18,20] 假设现在只想要 x * 2 大于等于12的元素，需要添加谓词，如下 [x * 2 | x <- [1..10], x * 2 >= 12] [12,14,16,18,20] 使用谓词 ......