ListComprehension但不同的順序

Question

我想知道這些與定義之間是否有區別。

[(x,y)| x<-[1..10000], x=2000,y<-[1..100], odd y] 
[(x,y)| x<-[1..10000],y<-[1..100], x=2000, odd y] 

兩者都會生成相同的元組列表。 但是，如果我們的編譯器沒有做任何優化。 我怎樣才能找出哪一個更快。 在這兩種情況下x<-[1..10000]會給我們一個從[1,2.. 20000] since x==2000. 列表y值將評估什麼順序？

Answer 1

事情從左到右執行。把它看作嵌套循環。所以在第一個中，x的測試執行了10000次，而第二個中的執行了1000000次。

向外移動條件加速執行稱爲「過濾器提升」;大衛特納（David Turner）創造的一個術語（ca 1980）。