Haskell如何为单个类型特化/重载函数行为？

实现无法按预期工作的核心原因是误用了IncoherentInstances扩展：

• 这个扩展允许编译器在多个匹配的实例中无优先级地选择实现，完全破坏了Haskell类型类“具体类型优先于通用类型”的固有实例选择规则。
• 在多态函数use中调用show'时，编译器在泛型上下文阶段拿不到参数的具体类型，就会提前绑定匹配范围最宽的通用实例（即走标准show逻辑的实现），哪怕后续实际传入的是String类型，也不会切换到特化逻辑。
• 引入的UndecidableInstances扩展在这个场景下完全多余，该扩展的作用是允许编译器打破实例解析的递归深度限制，这段代码根本不存在相关递归场景。

完全可以只靠通用、低风险的扩展实现需求，不需要用到IncoherentInstances或者UndecidableInstances：

• 仅开启Haskell生态内最常用的FlexibleInstances扩展（绝大多数第三方Haskell库都会用到这个扩展，不存在滥用问题）。
• 给通用的兜底实例加上可重叠标记，明确告诉编译器：当遇到匹配范围更窄、更具体的实例时，优先选择具体实现。

完整可运行代码如下：

{-# LANGUAGE FlexibleInstances #-}

class Show' a where
  show' :: a -> String

-- 标记通用兜底实例为可被更具体的同类型实例覆盖
instance {-# OVERLAPPABLE #-} Show a => Show' a where
  show' = show

-- 针对String类型的特化实例，优先级高于通用兜底逻辑
instance Show' String where
  show' = id

这个写法下所有行为都符合预期：

• 直接传String调用时，原样返回字符串内容：show' "abc" == "abc"
• 传其他实现了Show的类型时，走标准show逻辑：show' 9 == "9"
• 在多态函数中调用时，只要实际传入的参数是String类型，就会匹配到特化实现：use "abc" == "abc"，不会返回带转义引号的结果

OVERLAPPABLE标记的实例选择规则是完全可预测的：

• 编译器会等到类型参数被具体确定后，再选择匹配范围最窄的实例
• 只有当类型参数明确为String时，才会优先命中Show' String的实现，其他类型全部走通用兜底逻辑
• 整个过程没有随机选择的不确定行为，完全符合常规的类型类使用规范

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