Исключение для "экземпляра (Num а) => YesNo а, где" код строки

Question

Это прекрасно работает:

class YesNo a where 
    yesNo :: a-> Bool 

instance YesNo Bool where 
    yesNo True = True 
    yesNo _ = False 

instance YesNo [a] where 
    yesNo [] = False 
    yesNo _ = True 

instance YesNo (Maybe a) where 
    yesNo Nothing = False 
    yesNo _ = True 

Но я получаю сообщение об ошибке для кода:

instance (Num a) => YesNo a where -- error is here 
    yesNo 0 = False 
    yesNo _ = True 

Exception сообщение:

ghci> :l src 
[1 of 1] Compiling Main    (src.hs, interpreted) 

src.hs:16:21: 
    Illegal instance declaration for `YesNo a' 
     (All instance types must be of the form (T a1 ... an) 
     where a1 ... an are *distinct type variables*, 
     and each type variable appears at most once in the instance head. 
     Use FlexibleInstances if you want to disable this.) 
    In the instance declaration for `YesNo a' 
Failed, modules loaded: none. 
ghci> 

Что я сделал неправильно?

Answer 1

Поскольку сообщение об ошибке уже указывает на то, есть ghc опции, которые делают ваше объявление экземпляра совершенно законно (вам придется добавить ограничение Eq a к нему, хотя, если ваш GHC является newer than 7.4.1)

ghci -XFlexibleInstances -XUndecidableInstances <your program> 

будет компилировать и работать так, как вы ожидаете.

Почему гибкие и неразрешимые экземпляры не разрешены по умолчанию?

• классы типа открыты, они могут быть расширены в любой последующий момент. Предположим, что кто-то еще расширит Num с instance (Num a) => Num [a]), например fromInt x = [fromInt x] и покомпонентным добавлением и т. Д. Тогда у нас были бы совпадающие экземпляры: shoud yesNo [0] be True или False? Таким образом, путем расширения одного класса (Num) экземпляры какого-либо другого класса (YesNo) внезапно перекрываются. Поэтому гибкие экземпляры не разрешены по умолчанию

• При объявлении instance (Eq a, Num a) => YesNo a, Num a не является строго меньше (проще), чем YesNo a. Мы с тобой знаем, что проверка любого типа для YesNo -ness в конечном итоге приведет к aswer, но предположим, что еще кто-то (почему бы и нет?) Не добавил бы экземпляр (YesNo a) => Num a where... Тогда тип проверки застревали в цикле: YesNo a => Num a => YesNo a ... Вот почему (потенциально) неразрешимые экземпляры не разрешены по умолчанию

Таким образом, отменяя ограничения по умолчанию на определения класса типа может хорошо работать сейчас, но может привести к серьезным царапинам головы в будущем.

Answer 2

Похоже, что вы пытаетесь сделать так, чтобы каждый тип, являющийся экземпляром Num, был автоматически экземпляром YesNo.

К сожалению, вы не можете этого сделать.

Вы можете только объявить экземпляр для определенного типа. Таким образом, вы можете объявить экземпляр для Int или Double, но вы не можете объявить экземпляр для «каждый Num».

Answer 3

Попробуйте это:

instance (Num a) => YesNo a where 
    yesNo x | x == fromIntegral 0 = False 
      | otherwise = True 

Проблема заключается в том, что 0 не типа a. В любом случае из Num, однако, вы должны определить функцию fromIntegral.