什麼類型在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 

都必須是不同的？如果你不清楚，那麼回去看看功能應用。