Haskell中的双列表理解

Question

我正在尝试将数组实现为Haskell中的列表列表。 特别是，我有一些我给出的数组m ，以及一个我想要满足的谓词p ，我想创建一个索引列表(x,y) ，使得第y个列表中的第x个元素满足p 。 我把它设置为以下列表理解：

[(x,y) | x<-[1..],y<-[1..],p ((m !! y) !! x)]  

当它试图在第一行中找到不存在的m元素时会引发错误。 我可以看到一个立即解决这个问题的方法就是将x和y的内部理解改为y<-[1..length m]但我觉得有一种可行的方法可以利用懒惰。 我只是不知道它是什么。

Answer 1

的确有。 获取列表元素及其索引的常用习惯是使用zip ：

[(x,y) | (x,mx) <- zip [1..] m, (y,mxy) <- zip [1..] mx, p mxy]

也：

• !! 是非常低效的，特别是从列表中提取许多元素时，所以最好尽可能避免使用它。
• 列表索引通常在Haskell中以0开头。