无需添加特定类型注解解决Haskell歧义类型变量错误

问题核心 #

你遇到的是GHC编译时的类型歧义问题：当使用elemIndices这类需要Eq/Ord约束的函数时，空列表[]的类型无法被唯一推导，编译时GHC要求明确的类型，不像GHCi有更宽松的默认规则。同时你需要空列表保持多态性，能在不同类型场景复用（比如既和[Int]又和[[Int]]配合），不能加固定类型注解。

简单解决方案：启用ExtendedDefaultRules扩展 #

GHC的ExtendedDefaultRules扩展会让编译时采用和GHCi一致的默认类型推导规则，自动解决这类无实际影响的类型歧义场景。有两种启用方式：

方式1：在代码开头添加编译指令 #

在代码最顶部加上pragma：

{-# LANGUAGE ExtendedDefaultRules #-}
import Data.List
main = print $ elemIndices [] []

方式2：编译时添加命令行参数 #

用ghc编译时带上-XExtendedDefaultRules参数：

ghc -XExtendedDefaultRules YourCode.hs

验证多态灵活性 #

启用扩展后，你提供的多态空列表示例也能正常编译运行：

{-# LANGUAGE ExtendedDefaultRules #-}
main=do
   print $ zipWith (+) a [1,2]
   print $ zipWith (zipWith (+)) a [[1],[2]]
   where
      a = []

这段代码里的a依然保持多态性，既能作为[Int]又能作为[[Int]]使用，不会被固定到单一类型。

原理说明 #

ExtendedDefaultRules扩展扩展了GHC的默认类型选择逻辑：当遇到需要Eq/Ord等约束但类型变量无法确定时，GHC会自动选择默认的实例（比如()、Integer等），但这不会破坏多态性——只有在类型确实无法推导的歧义场景下才会应用默认类型，而像你的zipWith示例中，上下文能明确推导类型，GHC依然会正确处理。

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