Haskell Beam库加载文件至GHCI与粘贴代码时类型推断差异问题

原因说明 #

这个差异是OverloadedStrings扩展、GHC类型默认规则、模块编译与GHCI交互模式的推断规则差异三者共同作用的结果：

• 你使用的Beam项目默认开启了OverloadedStrings扩展：此时字符串字面量的默认类型是IsString a => a，而非固定的String/FilePath。
  版本1中字符串字面量直接作为open的参数传入，open的参数类型固定为FilePath，因此字符串字面量的类型直接被确定为FilePath，不存在歧义，后续所有绑定的类型推断都不受影响，runDebugInDb可以正常泛化为SqliteM b -> IO b。
  版本2中你先将字符串字面量绑定到了顶级变量dbFile：如果没有给dbFile加显式类型注解，它的类型会被推断为IsString a => a，属于带约束的多态歧义类型。
• 当你用:l加载完整.hs文件时，GHC会对整个模块的顶级绑定执行类型默认消解：对于存在歧义的类型变量，会按照默认规则匹配对应的具体类型，如果匹配失败就会默认填充Any类型，在ExtendedDefaultRules开启时则会优先默认成()。这种歧义会干扰GHC对后续绑定的泛化过程，最终导致runDebugInDb的多态参数被默认成单态，丢失泛型性。
• 逐行粘贴代码到GHCI时，GHCI的交互模式为了调试便利性，会放宽类型推断限制，不会主动对顶层绑定执行严格的默认消解，会尽量保留多态类型，因此两个版本的推断结果一致。

你之前观察到的ExtendedDefaultRules的影响是因为该扩展修改了默认类型的匹配顺序，让歧义类型优先默认成()而非Any，并非问题的根源。

解决方法 #

最简单的方案是给dbFile添加显式类型注解，从根源消除歧义，不需要修改其他代码：

dbFile :: FilePath
dbFile = "shoppingcart1.db"

也可以直接给runDebugInDb添加多态类型注解，强制保留泛型性：

runDebugInDb :: SqliteM a -> IO a
runDebugInDb actions = do
  conn <- getDb
  runDebug conn actions

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