Obtener sqrt desde Int en Haskell

Question

¿Cómo puedo obtener sqrt desde Int.

Trato de modo:

sqrt . fromInteger x 

Pero da error con la compatibilidad de tipos.

Answer 1

Usando fromIntegral:

Prelude> let x = 5::Int 
Prelude> sqrt (fromIntegral x) 
2.23606797749979 

ambos Int y Integer son instancias de Integral:

• fromIntegral :: (Integral a, Num b) => a -> b toma su Int (que es una instancia de Integral) y "hace" un Num.

• sqrt :: (Floating a) => a -> a espera un Floating, y Floating Heredar del Fractional, que hereda de Num, por lo que puede pasar con seguridad a sqrt el resultado de fromIntegral

Creo que las clases diagram en Haskell Wikibook es bastante útil en este caso.

Answer 2

Recuerde, la aplicación se une más estrechamente que cualquier otro operador. Eso incluye la composición. Lo que queremos es

sqrt $ fromIntegral x 

Entonces

fromIntegral x 

serán evaluados en primer lugar, porque la aplicación implícita (espacio) se une más estrechamente que la aplicación explícita ($).

Alternativamente, si desea ver cómo funcionaría composición:

(sqrt . fromIntegral) x 

paréntesis asegurarse de que el operador de composición se evalúa primero, y luego la función resultante es el lado izquierdo de la aplicación.

Answer 3

Quizás también quieras que el resultado sea Int?

isqrt :: Int -> Int 
isqrt = floor . sqrt . fromIntegral 

Es posible que desee reemplazar floor con ceiling o round. (Por cierto, esta función tiene un tipo más general que la que di).