Uzyskaj sqrt od Int w Haskell

Question

Jak mogę uzyskać sqrt od Int.

staram tak:

sqrt . fromInteger x 

Ale się błąd z kompatybilności typów.

Answer 1

Korzystanie fromIntegral:

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

oba Int i Integer są przypadki Integral:

• fromIntegral :: (Integral a, Num b) => a -> b ma swoje Int (który jest instancją Integral) i "robi" to Num.

• sqrt :: (Floating a) => a -> a oczekuje Floating i Floating dziedziczą z Fractional, która dziedziczy z Num, więc można bezpiecznie przejść do sqrt wynik fromIntegral

myślę, że zajęcia diagram w Haskell Wikibook jest bardzo przydatne w takich przypadkach.

Answer 2

Pamiętaj, że aplikacja wiąże się szczelniej niż jakikolwiek inny operator. Obejmuje to kompozycję. Co chcesz jest

sqrt $ fromIntegral x 

Następnie

fromIntegral x 

zostaną najpierw ocenione, ponieważ ukryte aplikacji (przestrzeń) wiąże mocniej niż jednoznacznego wniosku ($).

Alternatywnie, jeśli chcesz zobaczyć, jak kompozycja będzie działać:

(sqrt . fromIntegral) x 

Nawiasy upewnić się, że operator skład ocenia najpierw, a następnie otrzymaną funkcją jest po lewej stronie aplikacji.

Answer 3

Być może chcesz, aby wynik był również Int?

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

Możesz zastąpić floor z ceiling lub round. (BTW, ta funkcja ma bardziej ogólny typ niż ten, który dałem.)