在Haskell中共同使用樓層和sqrt

Question

我希望我的函數讀取一個整數並將平方根向下舍入到最接近的整數。 這就是我嘗試過的：

roundSqrt :: Int -> Int
roundSqrt x = floor (sqrt x)  

我得到的錯誤是，“無法推斷（浮動a）因使用-sqrt'而產生的”，但我不明白這意味着什么。

Answer 1

sqrt的類型是：

λ> :t sqrt
sqrt :: Floating a => a -> a

地板的類型是：

λ> ::t floor
floor :: (RealFrac a, Integral b) => a -> b

因此， sqrt需要一個具有Floating約束的類型。 您可以使用fromIntegral函數來實現：

roundSqrt :: Int -> Int
roundSqrt x = floor (sqrt (fromIntegral x))