如何修复Haskell类型匹配错误：半径计算函数编译报错

嘿，这个问题我太熟了——Haskell的强类型系统就是这么严谨，一点类型不匹配都不会放过😎。咱们先拆解下错误原因：

你的Coord是(Int, Int)类型，所以x1-x0和y1-y0的结果都是Int，相乘后还是Int类型。但sqrt函数要求输入是Floating类型（比如Float、Double），而你函数的返回值声明是Float，这就导致了类型冲突：Haskell不会自动做隐式类型转换，所以抛出了那个类型不匹配的错误。

修复方案：用fromIntegral做类型转换 #

解决方法很简单，只需要把整数运算的结果转换成Float就行，Haskell提供了fromIntegral函数专门干这个事——它能把任意整数类型（比如Int）转换成通用的数值类型（比如Float）。

这里有两种顺手的写法，你可以按需选择：

写法1：在求和前转换平方值

type Coord = (Int,Int)
getRadius :: Coord -> Coord -> Float
getRadius (x0,y0) (x1,y1) = sqrt (fromIntegral sqrX + fromIntegral sqrY)
  where sqrX = (x1 - x0) * (x1 - x0)
        sqrY = (y1 - y0) * (y1 - y0)

写法2：先转换差值，再计算平方

这种写法更直观，从根源上把差值转换成Float，后续运算自然都是Float类型：

type Coord = (Int,Int)
getRadius :: Coord -> Coord -> Float
getRadius (x0,y0) (x1,y1) = sqrt $ dx*dx + dy*dy
  where dx = fromIntegral (x1 - x0) :: Float
        dy = fromIntegral (y1 - y0) :: Float

为什么这样管用？ #

fromIntegral的类型签名是Integral a => a -> Num b => b，简单说就是：只要输入是整数类型（比如Int），它就能把它转换成你需要的任意数值类型（这里是Float）。这样一来，dx*dx和dy*dy的结果都是Float，相加后还是Float，正好符合sqrt的参数要求，函数返回的Float类型也能和声明完美匹配了。

如果以后你需要返回精度更高的Double，只需要把函数返回类型改成Double，同时把:: Float调整成:: Double（或者直接去掉类型标注）就行，fromIntegral一样能正常工作。

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