无法构造无限类型：E〜[E]

Question

为什么验证码：

a=array ((0,0),(5,5)) [((i,j),x) | i <- [0..5], j <- [0..5], x <- a!(i,j)] 

原因错误cannot construct the infinite type: e ~ [e]， 但如果重写它是这样的：

a=array ((0,0),(5,5)) [((i,j),a!(i,j)) | i <- [0..5], j <- [0..5]] 

能正常工作？

Answer 1

在列表理解中，<-的右侧是列表从中取元素。但是你可以使用let表达式：

[ ... | ..., let x = a ! (i,j) ]