¿Por qué Haskell parece tener por defecto la lectura de Int al leer Num?

Question

No esperaba el siguiente código para trabajar:

foo :: (Num a) => a -> a 
foo x = x + x 

main = do 
    print (foo (read "7")) 

porque no es posible deducir totalmente el tipo de (léase "7") basado en el código. Pero GHC (6.12.3) piensa lo contrario e imprime 14.

Si "7" se cambia a "7.2", el código falla con "sin analizar". ¿Que está pasando aqui? ¿Cómo está Haskell decidiendo qué instancia de Read usar?

Answer 1

Esto es causado por defaulting rules for the Num class de Haskell. Si ha añadido

default (Double, Integer) 

a la parte superior de su archivo, a continuación, se obtendría los siguientes resultados:

main = do 
    print (foo (read "7")) -- prints "14.0" 
    print (foo (read "7.2")) -- prints "14.2" 

En pocas palabras, las reglas morosos son un intento de "tratar de hacer lo correcto "y lo salve de un error de compilación cuando tiene un tipo ambiguo en su programa. Desafortunadamente en este caso intercambia un error de tiempo de compilación por un error de tiempo de ejecución.

Puede desactivar el impago de este modo:

default() 

la que le obligará a eliminar la ambigüedad de manera explícita los tipos de tales términos a través de anotaciones de tipo:

print (foo (read "7" :: Int)) 

Answer 2

Int es el tipo predeterminado en esta instancia. Ver sec. 6.3, ambigüedad y tipo predeterminado, en una historia de Haskell: ser flojo con la clase,