Num vs Integral

Question

Esta función:

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

funciona bien. Pero éste:

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

no puede ser compilado: "No se ha podido deducir (Eq a) que se deriven de lo literal` 1' "

realmente no lo entiendo. Estoy leyendo un tutorial donde se dice

"integral es también una clase de tipos numéricos. Num incluye todos los números, incluyendo los números reales y números enteros, Integral incluye sólo números enteros (integrales). En esta clase de tipos son Int y Entero." http://learnyouahaskell.com/types-and-typeclasses

¿Por qué no puedo utilizar Num?

Answer 1

Es un cambio reciente proposed and accepted in September/October last year, en la última versión del paquete base, Eq y Show ya no son superclases de Num. Desde ese cambio, no se ha publicado una nueva versión del informe de idioma, por lo que aún no figura en el informe. Y dado que es reciente, tampoco lo ha convertido en muchos tutoriales o libros.

La "coincidencia de patrón" con un literal numérico es una aplicación implícita de (==), por lo que se requiere una instancia Eq para que funcione. Esa instancia ahora ya no se puede deducir de la restricción Num, por lo que el compilador (bastante nuevo: D) rechaza el código con solo una restricción Num.

Pero Integral es una subclase de Real, que tiene Ord (y por lo tanto Eq) como una superclase, de ahí que funciona.

Answer 2

Como dijo Daniel Fischer, que solía trabajar, pero ahora no funciona porque Num y Eq se dividieron de manera Num a no implica Eq a más. Para corregir su código simplemente haga Eq a explícito:

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