如何理解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”吗？

- Nan Xiao

Answer 1

你说得对：这是书中的错误，应该按照你的建议进行更正。

- amalloy