Haskell - перегрузка числовых типов

Question

Я простая функция, определенные ниже:

allZero :: Num a => [a]-> Bool 
allZero [] = False 
allZero xs = and (map (== 0) xs) 

Это возвращает сообщение об ошибке при загрузке:

Не удался вывести (Num а), возникающих из буквального ` 0 '

В чем проблема с этой функцией? Как увеличить число 0 до любого числового типа a?

Answer 1

Этот код компилируется после добавления ограничения Eq a на номер allZero. Не должно быть никаких других проблем с компиляцией этого кода.

allZero :: (Num a, Eq a) => [a]-> Bool 
allZero [] = False 
allZero xs = and (map (== 0) xs) 

Поскольку некоторые комментаторы указали, первый случай не является стандартным, как allZero из [] обычно True. С этим определением первый случай становится излишним.