Haskell中为isSquareNumber添加指定Int -> Bool类型声明时报错的问题咨询

• 类型适配矛盾：函数实现中调用的sqrt函数，类型签名为Floating a => a -> a，仅支持传入实现了Floating类型类的数值（如Float、Double），而Int为整数类型，未实现Floating类，无法直接作为sqrt的入参。
• 无类型声明时可运行的逻辑：未手动标注类型时，Haskell会根据函数内的运算自动推导类型，将入参x的类型约束为满足Floating要求的浮点类型，此时函数实际类型为Floating a => a -> Bool，完全匹配内部运算逻辑，因此可以正常编译运行。一旦手动指定isSquareNumber :: Int -> Bool，入参被强制约束为Int，sqrt无法接收该类型值，直接触发类型不匹配的编译错误。
• 原实现的固有缺陷：即使解决了类型问题，直接使用浮点数判断完全平方数也存在精度隐患。当输入数值较大时，浮点数的有效位数有限，sqrt计算结果可能因精度丢失出现偏移，引发误判。

• 基础适配方案：通过通用类型转换打通Int到浮点运算的通路，同时补充整数校验抵消精度误差。可直接编译运行的代码如下：

isSquareNumber :: Int -> Bool
isSquareNumber x
  | x < 0 = False
  | otherwise =
      let sqrtRes = sqrt (fromIntegral x)
          (root, frac) = properFraction sqrtRes
      in frac == 0.0 && root * root == x

代码中fromIntegral是Haskell内置的通用数值转换函数，可自动将Int类型的输入转换为支持浮点运算的Double类型，解决类型不匹配的问题；额外增加的root * root == x校验，可过滤掉因浮点数精度偏差导致的误判，提升大整数场景下的判断可靠性。

• 纯整数实现方案：完全基于整数运算逻辑实现判断，从根源上规避类型冲突和浮点数精度问题。核心思路是计算输入值对应的整数平方根，验证其平方是否与原数相等。示例代码：

isSquareNumber :: Int -> Bool
isSquareNumber x
  | x < 0 = False
  | otherwise =
      let -- 二分法实现整数平方根计算，全程无浮点运算
          intSqrt n
            | n < 2 = n
            | otherwise = search 1 n
            where
              search low high
                | low >= high = low
                | otherwise = 
                    let mid = (low + high) `div` 2
                        sq = mid * mid
                    in if sq == n then mid
                       else if sq < n then search (mid + 1) high
                       else search low (mid - 1)
          root = intSqrt x
      in root * root == x

内容的提问来源于stack exchange，提问作者Pofis