什么类型在Haskell意味着

Question

我被问在这给我留下了很困惑一类这个问题，我们提出下列要求：

对于波纹管式声明：

ranPositions :: Image -> Dims -> [Point] 
getBlockSums :: Image -> Dims -> [Point] -> [BlockSum] 
i :: Image 
d :: Dims 

什么以下类型？ 是不是上面的？！

ranPositions i d 
getBlockSums i d 

所以，我回答是这样的：

type ranPositions = Array Point Int, (Int, Int) 
type getBlockSums = Array Point Int, (Int, Int) 

// Because (this was given) 

type Image = Array Point Int 
type Dims = (Int, Int) 

除了是错误的，这个问题困惑了我，因为我认为一个函数的类型是什么的::后声明，所以它有已经给了，不是吗？

我可以做一些解释，我会很感激任何帮助。

Answer 1

类型的ranPosition i d是[Point] - （钻营给你返回[Point]功能）

类型的getBlockSums i d为[Point] -> [BlockSum] - （钻营为您提供了从[Point]返回功能[BlockSum]功能）

Answer 2

当然，但他们要求的类型表达式，而不是函数。

这难道不是明显，下面的表达式类型：

foo 
foo a 
foo a b 

都必须是不同的？如果你不清楚，那么回去看看功能应用。