Num vs integrale

Question

Questa funzione:

hola :: (Integral a) => a -> String 
hola 1 = "OK" 
hola _ = "asdf" 

funziona bene. Ma questo:

hola :: (Num a) => a -> String 
hola 1 = "OK" 
hola _ = "asdf" 

non può essere compilato: "Impossibile dedurre (Eq a) derivante dalla letterale` 1' "

Io davvero non capisco. Sto leggendo un tutorial dove è detto

"Integral è anche un typeclass numerico. Num comprende tutti i numeri, compresi i numeri reali e numeri interi, Integral include solo numeri interi (interi). In questo typeclass sono Int e Numero intero." http://learnyouahaskell.com/types-and-typeclasses

Perché non posso utilizzare Num?

Answer 1

È un cambiamento recente proposed and accepted in September/October last year, nella sua ultima versione del pacchetto di base, Eq e Show non sono più superclassi di Num. Da quel cambiamento, non è stata pubblicata nessuna nuova versione del rapporto linguistico, quindi non è ancora presente nel rapporto. E dal momento che è recente, non è ancora entrato in molti tutorial o libri.

"La corrispondenza del modello" con un valore letterale numerico è un'applicazione implicita di (==), pertanto è necessaria un'istanza Eq perché funzioni. L'istanza non può più essere desunta dal vincolo Num, quindi il compilatore (abbastanza nuovo: D) rifiuta il codice con un solo vincolo Num.

Ma Integral è una sottoclasse di Real, che ha Ord (e quindi Eq) come superclasse, quindi che funziona.

Answer 2

Come ha detto Daniel Fischer, ha usato per lavorare, ma ora non funziona perché Num e Eq sono stati divisi in modo Num a non implica più Eq a. Per correggere il codice, è sufficiente creare Eq a esplicito:

hola :: (Num a, Eq a) => a -> String 
hola 1 = "OK" 
hola _ = "asdf"