如何不借助Proxy解决Haskell中的模糊类型问题

这确实是Haskell类型系统里常见的歧义问题——因为v在keys函数的签名和实现里都没被用到，编译器没法确定它的具体类型，所以抛出了推导错误。不用Proxy或AllowAmbiguousTypes的话，我们可以通过明确类型之间的依赖关系来解决，有两种主流方案：

方案一：使用关联类型（Type Families） #

关联类型允许我们把v定义为k和m的关联类型，而不是类型类的独立参数。这样v的类型会由k和m唯一确定，编译器就不会有歧义了。

首先重构你的类型类：

{-# LANGUAGE TypeFamilies #-}
import qualified Data.Map as Map

class MapsTo k m where
  -- 定义关联类型：由k和m决定对应的value类型
  type ValueType k m :: *
  innerMap :: m -> Map k (ValueType k m)

然后keys函数的签名就可以简化成（不需要显式写v）：

keys :: MapsTo k m => m -> [k]
keys = Map.keys . innerMap

举个实例实现的例子：

newtype MyMap k v = MyMap (Map.Map k v)

instance MapsTo k (MyMap k v) where
  type ValueType k (MyMap k v) = v
  innerMap (MyMap m) = m

调用的时候完全不用额外处理类型：

testKeys :: [Int]
testKeys = keys (MyMap (Map.fromList [(1, "a"), (2, "b")]))

方案二：使用函数依赖（Functional Dependencies） #

函数依赖是另一种明确类型关系的方式，它告诉编译器：m的类型可以唯一确定k和v的类型。这样即使v没被使用，编译器也能通过m推导出它的类型。

重构类型类时加上函数依赖：

{-# LANGUAGE FunctionalDependencies #-}
import qualified Data.Map as Map

class MapsTo k v m | m -> k v where
  -- 依赖声明：m唯一决定k和v
  innerMap :: m -> Map k v

此时keys函数的签名可以保持你原来的写法，但编译器不会再报错：

keys :: MapsTo k v m => m -> [k]
keys = Map.keys . innerMap

实例实现和之前类似：

newtype MyMap k v = MyMap (Map.Map k v)

instance MapsTo k v (MyMap k v) where
  innerMap (MyMap m) = m

调用方式也和之前一致，不需要额外的类型标注或Proxy。

为什么这两种方案更好？ #

相比Proxy或AllowAmbiguousTypes，这两种方案都是从类型关系的根源解决问题：

• 关联类型更直观地表达了“m对应的value类型由k和m本身决定”的语义；
• 函数依赖则明确了类型之间的唯一映射关系，让编译器能安全地推导未使用的参数。

它们都避免了绕过类型检查的“hack”写法，让代码的类型语义更清晰。

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