Haskell 列表理解编译错误

Question

我想创建一个函数，给定两个列表（浮点数，但可以是任何东西）给出一个列表，其中包含从第一个列表中取出两个元素并将其放入最后一个列表的所有组合以及所有组合前者将最后一个元素中的一个（现在有更多元素）放回第一个。

对于每一个动作它也给出移动的最大值（在第二个动作中只有一个移动，即值）。当第一个列表为空时，它应该全部结束（不会有第二个移动）。

我不能指望任何人都能理解，例如：

next [1,2,3,4] [] -> [(([1,2], [3,4], 4), ([1,2,3],[4],3)), (([1,2], [3,4], 4), ([1,2,4],[3],4)), (([1,3], [2,4], 4), ([1,2,3],[4],2)), (([1,3], [2,4], 4), ([1,3,4],[2],4)).....
next [1,2] [3,4]  -> [(([], [1,2,3,4],2),)], ())

我目前拥有的：

module Test where 

next :: [Float] -> [Float] -> [(([Float],[Float], Float),([Float],[Float], Float))]
next [] _               = []
next (a:b:[]) s     
    |a>b                = [([],a:b:s, a)]
    |otherwise          = [([],a:b:s, b)]
next d s                = [([x,z], i:j:s, j), b | i <- d, j <- d, i < j, x <- d, z <- d, x < z, z /= i, z /= j, x /= z, x /= i, x /= j, b <- (back [x,z] i:j:s)]
    where
        back d s        = [(i:d, [x,z], i) | i <- s, x <- s, z <- s, x < z, z /= i, x /= z]

编译该代码会在 | 字符的第一个理解列表中返回错误。我有点理解 back 函数中的错误。为什么不能编译？

Answer 1

理解语法是

[ <expression> | ... ]

对于 <expression> 你有 ([x,z], i:j:s, j), b 这在语法上是错误的。您是说 ([x,z], i:j:s, b) 吗？

Haskell 列表理解编译错误

Haskell list comprehension compilation error

haskell

list-comprehension

list