Haskell相同返回类型的多态函数列表未通过类型检查问题

错误根源 #

你遇到的类型不匹配报错本质是**Haskell默认启用的单态限制（Monomorphism Restriction）**导致的。

单态限制规则 #

对于没有显式写出参数的绑定（无点式定义的绑定），GHC不会为其推导多态类型，而是会根据首次使用的上下文将类型特化为单态。

具体错误逻辑 #

你的代码中let test = check example属于无点式绑定，没有显式声明参数：

1. 第一次调用test field1 []时，check的类型参数b被匹配为String（field1返回String，匹配值[]是String类型），于是test的类型被固定为(MyType -> String) -> String -> IO (Maybe ())
2. 后续调用test field2 False时，传入的field2是MyType -> Bool类型，和固定的MyType -> String参数类型冲突，因此抛出类型不匹配错误。
   即使你三次调用check的最终返回类型完全一致，也会因为test的类型被提前固定为单态而无法通过检查。

解决方案 #

任选以下任意一种方法即可解决问题：

方案1：给test添加显式多态类型签名 #

开启ExplicitForAll扩展后为test声明多态类型：

{-# LANGUAGE ExplicitForAll #-}
let example = MyType [] False 0
    test :: forall b. Eq b => (MyType -> b) -> b -> IO (Maybe ())
    test = check example
    tests = [ test field1 []
            , test field2 False
            , test field3 0 ]

方案2：关闭单态限制 #

在模块头部添加编译指示关闭单态限制，GHCI中可以直接输入:set -XNoMonomorphismRestriction临时生效：

{-# LANGUAGE NoMonomorphismRestriction #-}
-- 后续代码无需修改即可正常编译

方案3：η展开test的定义 #

显式写出test的所有参数，避免触发单态限制：

let test f v = check example f v

方案4：直接在列表中调用check #

不提前绑定test，每次调用都直接写全check example：

let tests = [ check example field1 []
            , check example field2 False
            , check example field3 0 ]

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