Haskell笔记 （11）—— 函数的“type signature”

看一下take函数的type signature：

ghci> :type take
take :: Int -> [a] -> [a]

这表明它有两个参数，返回值是一个list。“->”是右相关（right-associative），因此实际上也可以把take函数的type signature写成这样：

ghci> :type take
take :: Int -> ([a] -> [a])

因此也可以这样理解take函数：它有一个Int参数，返回值是另一个函数。这个函数的参数和返回类型是同一个类型的list。