Haskell 并行和广义（类似 SQL）列表理解问题

Question

也许我误读了文档（http://www.haskell.org/ghc/docs/7.0.1/html/users_guide/syntax-extns.html#parallel-list-compregnions），但在下面的代码中我期望列表推导式 zs 和 zs' 具有相同的值。然而，它们是不同的，如主打印两行不同的行所示：

{-# LANGUAGE ParallelListComp, TransformListComp #-}
import GHC.Exts

xs = [10,20..90]
ys = map (`mod`7) xs

zs = [(x,y) | x<-xs | y<-ys, then sortWith by y]
zs' = [(x,y) | (x,y) <- zip xs ys, then sortWith by y]

main = print zs >> print zs'

我只是误读了文档，还是有一些更糟糕的问题？我很惊讶类型系统没有捕获从中抽象出来的实际代码中的错误。

产生此输出：

*Main> main
[(10,0),(20,1),(30,2),(40,3),(50,3),(60,4),(70,5),(80,6),(90,6)]
[(70,0),(50,1),(30,2),(10,3),(80,3),(60,4),(40,5),(20,6),(90,6)]

谢谢。

Answer 1

唐斯，谢谢，现在我不确定我做了什么才能产生正确的输出。是的，我的评论中的代码是一个语法错误（我无法修复它或在那里发表评论，因为我不再有浏览器 cookie，叹气）。除了使用“zip”之外，我没有看到任何方法可以解决这个问题，这有点令人失望，但是哦，好吧。 （哦，看起来我可以将编辑放入队列中，这与 mathoverflow 不同）。

Answer 2

看来 Solrize 的评论是正确的。第一个结果是因为横杠比逗号关联更松散。这记录在“并行列表理解”部分下的 dons 链接中。不知道对此能做什么...

下面的内容非常丑陋（(x,y)的重复绑定），但顺便修复了 solrize 的语法错误...

zs <- [(x,y) | (x,y) <- [(x,y) | x<-xs | y<-ys], then sortWith by y]

理想的方法是用括号括起来 并行列表推导式的 | 部分，如下所示：

zs = [(x,y) | (x<-xs | y<-ys), then sortWith by y]

Answer 3

对我来说看起来像一个错误。至少是未能清楚地传达句法翻译是什么。 solrize 提供的链接指出：

给出形式的并行理解：

[ e | p1 <- e11, p2 <- e12, ... 
    | q1 <- e21, q2 <- e22, ... 
     ... 
 ] 

这将被翻译为：

[ e | ((p1,p2), (q1,q2), ...) <- zipN [(p1,p2) | p1 <- e11, p2 <- e12, ...] 
                                      [(q1,q2) | q1 <- e21, q2 <- e22, ...] 
                                      ... 

直觉会将 ，然后 sortWith by y 放在最后的省略号中：

[ (x,y) | x <- xs
        | y <- ys
        , then sortWith by y ]

这将翻译为

-- this produces the same result as your zs'
[ (x,y) | (x,y) <- zip [x' | x' <- xs]
                       [y' | y' <- ys]
                       , then sortWith by y ]

然而，它实际上似乎放在倒数第二个省略号位置：

[ (x,y) | x <- xs
        | y <- ys, then sortWith by y
        ]

翻译为

-- this produces the same result as your zs
[ (x,y) | (x,y) <- zip [x' | x' <- xs]
                       [y' | y' <- ys, then sortWith by y']
                       ]