Haskell 列表推导中的任意输入集
在 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
]
How do I in Haskell use arbitrary input sets in list comprehensions?
I will give you an example of what I'm after:
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
]
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(1)
假设
a
保证长度为100,我认为你想要的是generate a = filter isCorrect $sequence a
。这里,sequence
在[]
monad 中使用来生成列表列表的笛卡尔积。Assuming
a
is guaranteed to be of length 100, I think what you want isgenerate a = filter isCorrect $ sequence a
. Heresequence
is being used in the[]
monad to produce the Cartesian product of a list of lists.