Haskell中如何将任意Num类型转换为Double类型？

首先要明确：仅靠Num类型类无法实现真正通用的这类转换，因为Num只定义了数值类型的基础运算规则（加减乘、取反等），并没有提供将数值转换为浮点类型的标准接口——这意味着某些自定义的Num实例可能根本无法被合理转换为Double。

不过，若将类型约束放宽到Real类型类（Num的子类，涵盖所有可表示为有理数的数值类型），就能实现一个无需额外依赖的通用转换函数：

fromNum :: Real a => a -> Double
fromNum = fromRational . toRational

方案可行性说明 #

• Real类型类要求所有实例实现toRational方法，可将数值精确转换为Rational类型
• fromRational是标准库提供的函数，可直接将Rational转换为Double

覆盖的常见类型场景 #

这个函数能处理标准库中所有常用数值类型：

• 整数类型：Int、Integer（先转成有理数再转换为Double）
• 有理数类型：Rational
• 浮点类型：Float、Double（自身转成Rational再转回Double，不会产生额外精度损失）

若坚持仅用Num约束的局限方案 #

如果必须只依赖Num约束，只能实现部分场景的转换，比如针对已知的Num实例做类型匹配，但这不是真正的通用方案，且无法覆盖自定义Num实例：

import Data.Typeable (cast)

fromNum :: Num a => a -> Double
fromNum x = case x of
  _ | Just i <- cast x -> fromIntegral i  -- 处理整数类型
  _ | Just r <- cast x -> fromRational r  -- 处理有理数类型
  _ | Just f <- cast x -> realToFrac f    -- 处理浮点类型
  _ -> error "无法将该Num类型转换为Double"

这种方案依赖Data.Typeable的cast函数，对于未实现Typeable的自定义Num实例会直接报错，实用性远不如基于Real约束的方案。

内容的提问来源于stack exchange，提问作者Otávio Augusto Silva