GHC Haskell中函数依赖与重叠实例冲突的最优解决方案是什么？

当前最新版GHC（8.0及以上）的最佳推荐方案是使用**闭合类型族（Closed Type Families）**实现需求，它天然支持「定义顺序优先、更具体分支优先」的匹配规则，完全不需要依赖非正规的hack实现，也能保证类型推导的可靠性。

方案1：闭合类型族（推荐） #

闭合类型族在定义时就固定了所有匹配分支，GHC会按照你写的顺序从上到下匹配最符合的类型，不会出现开类型族的冲突问题：

{-# LANGUAGE TypeFamilies #-}

-- 先定义闭合类型族，特殊情况写在前面，通用默认写在后面
type family C' a where
  C' A = B
  C' a = D

-- 关联类型类，如果需要实现类方法的话
class C a where
  someFunc :: a -> C' a

-- 特殊类型A的实例，对应返回类型B
instance C A where
  someFunc _ = B

-- 所有其他类型的通用实例，对应返回类型D
instance {-# OVERLAPPABLE #-} C a where
  someFunc _ = D

如果你的需求只需要类型映射、不需要绑定类方法，甚至可以完全省略类型类的定义，直接使用这个闭合类型族即可，代码更简洁也更安全。

方案2：函数依赖兼容方案 #

如果你必须保留函数依赖的写法，也可以通过给通用实例添加OVERLAPPABLE标记实现，需要额外开启UndecidableInstances扩展：

{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}

class C a b | a -> b where
  someFunc :: a -> b

instance C A B where
  someFunc _ = B

-- 标记该实例为可覆盖的，遇到更具体的实例时优先匹配具体实例
instance {-# OVERLAPPABLE #-} C a D where
  someFunc _ = D

该方案的稳定性弱于闭合类型族方案，复杂场景下可能出现类型推导歧义，仅建议在兼容旧代码时使用。

原理解释 #

你之前的写法报错的核心原因是：

1. 函数依赖默认要求所有实例的映射是全局唯一的，没有特殊标记时不允许出现重叠的实例定义
2. 类型类中定义的关联类型族属于开类型族，允许在任意模块添加新的实例分支，GHC无法保证不会出现其他冲突的C' A定义，因此会直接报错禁止冲突

而闭合类型族的分支是固定的、不可扩展的，GHC可以安全的按照定义顺序匹配分支，不存在冲突风险，是当前GHC官方优先推荐的类型级映射实现方式。

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