Haskell Find Perfect Squares - получение ошибок типа - PullRequest
Новая
       8

Haskell Find Perfect Squares - получение ошибок типа

2 голосов
/ 23 декабря 2011

Я только начал изучать haskell и попытался реализовать простую функцию, чтобы проверить, является ли число квадратным корнем. Я думаю, у меня есть некоторые проблемы с пониманием системы типов Haskell - мой единственный опыт программирования - это ruby ​​и немного Java. Это то, что у меня было до сих пор (извините, если это действительно глупо): 

isPerfectSquare :: (RealFloat t) => t -> Bool
isPerfectSquare n = 
    (sqrt n) == (truncate (sqrt n))

Это то, что я хотел бы сделать в ruby ​​... Но здесь это дает мне эту ошибку: 

Could not deduce (Integral t) arising from a use of `truncate'
from the context (RealFloat t)
  bound by the type signature for
             isPerfectSquare :: RealFloat t => t -> Bool
  at more.hs:(73,1)-(74,35)
Possible fix:
  add (Integral t) to the context of
    the type signature for isPerfectSquare :: RealFloat t => t -> Bool
In the second argument of `(==)', namely `(truncate (sqrt n))'
In the expression: (sqrt n) == (truncate (sqrt n))
In an equation for `isPerfectSquare':
    isPerfectSquare n = (sqrt n) == (truncate (sqrt n))
Failed, modules loaded: none.

Не могли бы вы объяснить, в чем проблема, как ее исправить, и желательно какие-либо базовые концепции, которые я не понимаю? Заранее спасибо.

1 Ответ

5 голосов
/ 23 декабря 2011

sqrt имеет тип: 

sqrt :: Floating a => a -> a

усечение имеет тип: 

truncate :: (RealFrac a, Integral b) => a -> b

Другими словами, sqrt возвращает число с плавающей запятой, а truncate возвращает целое число. Вы должны вставить явное преобразование. В этом случае вы, вероятно, захотите fromIntegral, который может конвертировать любой целочисленный тип в любой числовой тип: 

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

Затем вы можете сделать сравнение: 

(sqrt n) == (fromIntegral $ truncate (sqrt n))
...