Haskell使用Data.Map.empty出现Ambiguous type variable错误咨询

这个报错是Haskell的类型歧义问题：你定义solve1 = solve Map.empty时，编译器只能推断出这个函数接收满足Ord约束的键值对列表、返回String类型，但满足Ord约束的类型有数十种（Int、String、Bool等都符合要求），编译器既没法自动选定具体类型，也没有对应的默认类型规则可以套用，就会抛出歧义类型变量的错误。
你的代码本身逻辑没有问题，只是缺少必要的类型标注来消除歧义。

根据使用场景二选一即可：

• 保留多态特性（推荐写法）：给solve1加上和solve一致的多态类型注解，不绑定具体类型，所有满足Ord约束的键值对列表都可以正常传入：

solve1 :: Ord a => [(a, a)] -> String
solve1 = solve Map.empty

• 绑定固定类型：如果你确定solve1只会处理某一种特定类型的输入，直接指定具体类型就行。比如仅处理整数对的写法如下：

solve1 :: [(Int, Int)] -> String
solve1 = solve Map.empty

如果要处理字符串对，把代码里的Int替换为String即可。

补充：Haskell对顶层定义的多态值有严格的类型检查要求，不会像局部定义那样自动做类型推导收敛，只要是多态的顶层函数，最好显式写出类型签名，既能避免这类歧义错误，也能提升代码可读性。

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