Haskell Error: No se pudo encontrar el tipo esperado "Integer" contra el tipo inferido `Int '

Question

Tengo una función haskell que calcula el tamaño de la lista de Ints finitos. Necesito el tipo de salida a ser un número entero, porque el valor será en realidad mayor que el máximo unido de Int (el resultado será -1 para ser exactos si el tipo de salida es un Int)

size :: a -> Integer 
size a = (maxBound::Int) - (minBound::Int) 

entiendo la diferencia entre Ints (acotado) e Integers (ilimitado) pero me gustaría hacer un Integer a partir de un Int. Me preguntaba si había una función como la de Entero, que me permitiría convertir un tipo Int a Integer.

Answer 1

Tendrá que convertir los valores en números enteros, los cuales se pueden hacer por la función fromIntegral (fundición numérico para Haskell):

fromIntegral :: (Integral a, Num b) => a -> b 

Convierte cualquier tipo en la clase integral de cualquier tipo en el (más grande) Num clase. P.ej.

fromIntegral (maxBound::Int) - fromIntegral (minBound::Int) 

Sin embargo, realmente no confío en el enfoque que está tomando, parece muy frágil. El comportamiento en presencia de tipos que admiten envolvente es bastante sospechoso.

A qué te refieres con: "el tamaño de la lista de Ints finitos". ¿Cuál es el tamaño en este sentido, si no es la longitud de la lista?

Answer 2

Te creo buscas:

fromIntegral :: (Integral a, Num b) => a -> b 

que convertirá un entero a un Int

Answer 3

Tal vez asumían que Haskell, como muchos idiomas corriente principal como C y (hasta cierto extensión) Java, tiene coacciones numéricas implícitas. No lo hace: Int e Integer son tipos totalmente no relacionados y existe una función especial para convertir entre ellos: fromIntegral. Pertenece a la clase de tipo Num. Mire la documentación: esencialmente, desde Integral hace más que eso: es un genérico "construir la representación de un número integral arbitrario", t.i. si está implementando algún tipo de número e instanciando Num, debe proporcionar una forma de construir números enteros de su tipo. Por ejemplo, en la instancia Num para números complejos, fromIntegral crea un número complejo con una parte imaginaria cero y una parte real integral.

El único sentido en que Haskell tiene coacciones numéricas implícitas es que los literales enteros están sobrecargados, y cuando se escribe 42, el compilador lo interpreta implícitamente como "fromIntegral (42 :: Integer)", por lo que puede usar enteros en cualquier contextos donde se requiere un tipo Num.