Haskell Нет экземпляра для ... возникающего

Question

Я пытаюсь написать функцию, которая проверяет, является ли квадратный корень числа целым или нет. Моя функция выглядит следующим образом:

check :: [Int] -> [Int] 
check xs = filter (\n -> n == round sqrt n) xs 

И сообщения об ошибках, я получаю следующие:

No instance for (Integral (Int -> Int)) 
(maybe you haven't applied enough arguments to a function?) 
arising from a use of "round" 
In the second argument of "(==)", namely "round sqrt n" 
... 
No instance for (Floating a0) arising from a use of `sqrt' 
The type variable `a0' is ambiguous 
Note: there are several potential instances: 
instance Floating Double -- Defined in `GHC.Float' 
instance Floating Float -- Defined in `GHC.Float' 
In the first argument of `round', namely `sqrt' 

Edit: Я в конечном итоге переписывать весь вопрос, я надеюсь, что это еще не проблема!

Answer 1

Так что я нашел другое решение по себе:

check :: [Int] -> [Int] 
check xs = filter (\n -> (ceiling (sqrt (fromIntegral n))) == (floor (sqrt (fromIntegral n)))) xs 

Это единственный, который не бросает ошибку компиляции (в моем случае).

Answer 2

он будет работать, если вы удалите левый fromIntegral:

test n = n == fromIntegral (round n) 

причина заключается в том, что, как это ваш n должен быть RealFrac (round) и Integral (fromIntegral), но нет типа в прелюдии который является одновременно (ни Integer, ни Double, например)

если убрать левую fromIntegral вам нужно только n иметь тип, который является экземпляром RealFrac - Double, например

правая сторона выглядит так:

RealFrac -round-> Integral -fromIntegral-> RealFrac 

---

, если у вас есть сомнения, вы всегда можете спросить GHCI:

Prelude> :i RealFrac 
class (Real a, Fractional a) => RealFrac a where 
    properFraction :: Integral b => a -> (b, a) 
    truncate :: Integral b => a -> b 
    round :: Integral b => a -> b 
    ceiling :: Integral b => a -> b 
    floor :: Integral b => a -> b 
    -- Defined in ‘GHC.Real’ 
instance RealFrac Float -- Defined in ‘GHC.Float’ 
instance RealFrac Double -- Defined in ‘GHC.Float’ 

, как вы можете видеть этот тип класс дает вам cut -back номера Integral (спросите Integral, чтобы узнать, что это значит - намек: думает, что что-то вроде Целые)

вы также увидите известных экземпляров

если вы видите RealFrac Int это означает, что он искал, чтобы найти RealFrac экземпляр определения Int (его нет)

Почему есть Int другое дело:

• либо вы запускали в формальность: GHCi по умолчанию n до Int здесь - вы, вероятно, столкнулись с ужасным monomorphism restriction - что не должно происходить так с новыми версиями GHC, но хорошо ...
• или использовать его в контексте, какие ограничения, чтобы это Int (который мы не видим)

быть честным, я не уверен, что здесь

Answer 3

Это должно быть

check :: [Int] -> [Int] 
check xs = filter (\n -> fromIntegral n == round (sqrt (fromIntegral n))) xs 

сообщение об ошибке говорит вам проблему:

(maybe you haven't applied enough arguments to a function?) 
arising from a use of "round" 

Потому что round sqrt n звонки round с аргументами sqrt и n.

Но это все еще не делает то, что вы хотите. Вы должны sqrt другой стороны, а

check :: [Int] -> [Int] 
check xs = filter (\n -> sqrt (fromIntegral n) == round (sqrt (fromIntegral n))) xs