haskell - Haskell 中特定列表理解的解释

Question

我有一个关于列表理解的问题

[(x,y)| x<-[1..2], y<-[x..3], let z = x+y, odd z]

为什么它的计算结果是:

[(1,2),(2,3)]

？

z 要去哪里？

谢谢

Answer 1

您的谓词是“对于所有 z 奇数，z = x + y”。如果您“展开”流程:

z = 谓词，y(x) 因此:

x = 1,2
y (1) = 1,2,3
y (2) = 2,3

基于谓词过滤的值的组合:

x+y <= filter(z)

1+1 = 2 NO
1+2 = 3 OK
1+3 = 4 NO

2+2 = 4 NO
2+3 = 5 OK

所以正确的答案是 x = 1 和 y = 2 以及 x = 2 和 y =3 => [(1,2), (2,3)]