javascript - `[e | x <- xs; y <- ys; ...] = concat[[e | y <- ys; ...] | x <- xs]`如何

Question

我正在阅读《函数式编程导论第一版》。我想出了一个规则来翻译理解，

[e | x <- xs; y <- ys; ...] = concat[[e | y <- ys; ...] | x <- xs]

我不明白这里的concat。 concat需要多个列表，但在这里我只看到一个。

我读了[[e | y <- ys; ...] | x <- xs]作为

for(x in xs){
 for(y in ys){
  someList.push(e)
 }
}

也许我读错了或者|这里有一些特殊的含义。

请帮忙。

Answer 1

[[e | y <- ys; ...] | x <- xs]翻译成你的伪语言将是:

for (x in xs) {
    tmp = []
    for (y in ys) {
        tmp.push(e)
    }

    someList.push(tmp)
}

你可以阅读 [[e | y <- ys; ...] | x <- xs]表达式为:“对于 x 中的每个 xs，生成一个列表，其中包含 e 对于 y 中的每个 ys”。

concat具有以下签名:concat :: [[a]] -> [a]

因此它展开折叠结构。

因此 concat [[1,2,3],[4,5]] => [1,2,3,4,5]