Haskell：在抽象数据类型上使用地图时出现问题

Question

直截了当地，类型声明如下：

type Pnt = (Int, Int)
type Image = Array Point Int
type Pixels = [Int]
type Dims = (Int, Int)
type Block = (Point,Pixels)

试图做的是获取一个Image ，并从该图像中获取位置Pnt具有宽度和长度Dims的特定像素块。 当只用一点来工作时，没有任何问题或任何问题；

takeAblock :: Image -> Dims -> Pnt -> Block
takeAblock i (w,h) (x,y) = ((x,y),  [i!(u,v) |  v <-[y..y + h - 1], u <- [x..x + w - 1]])

但是，当试图获得多个要点时，我发现自己陷入了我认为是正确的实现方式的问题，但是编译器似乎与我不同意

takeManyBlocks :: Image -> Dims -> [Pnt] -> [Block]
takeManyBlocks i d ps = takeAblock i d (map ps)
                                        where ps (x,y) = x  // Error

错误如下：

 Couldn't match expected type `Pnt' against inferred type `[(t, t1)] -> [t]' In the third argument of `takeAblock', namely `(map ps)' In the expression: takeAblock id (map ps) In the definition of `takeAblock': takeAblock id ps = takeAblock id (map ps) where ps (x, y) = x 

我真的不明白为什么这行不通，我什至尝试了map (*1) ps来检查是否缺少指定的功能是问题所在，但是没有，编译错误保持不变。 我要去哪里错了？

Answer 1

功能的缺失确实是问题所在，但不是您看起来的方式。 诸如map (*1) ps类的东西是无操作的（对于ps ，至少是数字列表）。 您真正想要的是类似于map (takeAblock id) ps ； 您要映射到列表的对象是map的第一个参数，而不是位于map的另一侧。

Answer 2

我认为您想要类似的东西：

takeManyBlocks i d ps = [takeAblock i d p | p <- ps]