Haskell 列表推导中的任意输入集

Question

在 Haskell 中，如何在列表推导式中使用任意输入集？

我会给你一个我所追求的例子：

generate :: [[[Integer]]] -> [[[Integer]]]
generate a = [ result | 
      i1 <- a !! 0,
      i2 <- a !! 1,
      i3 <- a !! 2,
      i4 <- a !! 3,
      ...
      i99 <- a !! 99,
      let result = [i1,i2,i3,i4, ..., i99],
      isCorrect result
   ]

Answer 1

假设a保证长度为100，我认为你想要的是generate a = filter isCorrect $sequence a。这里，sequence 在 [] monad 中使用来生成列表列表的笛卡尔积。