Haskell数值字面量定义解析：fromInteger/fromRational实现探究

这种将数值字面量映射为fromInteger/fromRational调用的逻辑，主要在GHC的类型检查器和核心代码生成阶段实现，全部开源可查，无需深入底层黑箱。

具体实现流程 #

整数字面量处理 #

• 解析阶段：GHC会把代码里的整数字面量（比如42）解析为LitInteger语法节点，存储对应的Integer类型原始值。
• 类型检查阶段：在TcExpr.hs的checkLit函数中，会把这个字面量节点转换为fromInteger 42的形式，并添加Num a的类型约束，确保最终类型符合Num类型类的要求。
• 代码生成阶段：根据最终推导的具体类型（比如Int、Word），调用对应类型的fromInteger实例实现，比如GHC.Num中针对Int的实例会把Integer值转换为机器整数。

浮点字面量处理 #

• 解析阶段：浮点字面量（比如3.14）会被解析为LitRational节点，存储对应的Rational类型值。
• 类型检查阶段：同样在TcExpr.hs的相关逻辑中，转换为fromRational (314 % 100)的形式，并添加Fractional a的类型约束。
• 代码生成阶段：绑定到目标类型（比如Double、Float）的fromRational实例，完成从Rational到具体浮点类型的转换。

易于查看的源码位置 #

核心逻辑都集中在GHC的开源代码仓库中，主要涉及这些模块：

• compiler/typecheck/TcExpr.hs：负责类型检查阶段的字面量到类型类方法调用的转换
• compiler/coreSyn/CoreUtils.hs：辅助处理核心表达式的规范化转换
• libraries/base/GHC/Num.hs：定义Num、Fractional类型类及其基础实例，包含fromInteger和fromRational的默认实现

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