如何理解Haskell中的"(Num b)=> length :: [a] - > b"？

Question

我正在读" 了解你是一个很好的Haskell!,并遇到以下字词:

例如,length函数具有length :: [a] - > Int的类型声明,而不是具有更通用的类型(Num b)=> length :: [a] - > b.

怎么理解" (Num b) => length :: [a] -> b"这里？不应该是" length :: (Num b) => [a] -> b"吗？

Answer 1

你是对的:这本书中的错误应该按照你的建议阅读.