haskell - Haskell 中地板和 sqrt 的联合使用

Question

我希望我的函数读取一个整数并返回四舍五入到最接近的整数的平方根。这是我尝试过的:

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

我得到的错误是“无法推断( float 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))