如何理解Haskell中的“（Num b）=＆gt; length :: [a] - ＆gt; b”？

Question

我正在阅读Learn You a Haskell for Great Good!，并看到以下字词：

  

例如，length函数的长度类型声明为:: [a] - ＆gt; Int而不是具有更一般类型的（Num b）=＆gt;长度:: [a] - ＆gt;湾

如何理解“(Num b) => length :: [a] -> b”？不应该是“length :: (Num b) => [a] -> b”吗？

Answer 1

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