Haskell'de "(Num b) => uzunluk :: [a] -> b" nasıl anlaşılır?

Question

Ben Learn You a Haskell for Great Good! okuma ve şu sözcükler rastlamak am: -> Int yerine daha genel bir tipinin olması (Num Örneğin

, uzunluk fonksiyonu :: [a] uzunlukta bir türü bildirimine sahipse b) => uzunluk :: [a] -> b.

"(Num b) => length :: [a] -> b" nasıl anlaşılır? "length :: (Num b) => [a] -> b" olmalı mı?

Answer 1

Haklısınız: Bu kitaptaki bir hatadır ve önerdiğiniz gibi okumalıdır.