Haskell中特设多态与数据构造器：如何选择实现方案？

你提到的两种实现方式——用代数数据类型（ADT）+模式匹配，和用类型类——各有适用场景，除了扩展能力之外，还有这些关键考量点：

选择ADT+模式匹配的理由 #

• 编译期穷尽性检查：Haskell编译器会自动检查模式匹配是否覆盖了所有数据构造器。比如后续给Shape新增Triangle Float Float Float构造器时，编译器会直接提示area函数未处理该情况，提前避免遗漏逻辑。而类型类的实现中，新增类型若未编写对应的instance，只有在实际调用area时才会报错，无法提前发现。
• 统一类型集合：所有形状变体都属于同一个Shape类型，能直接放在同一份集合中，比如[Circle 1.0, Rectangle 2.0 3.0]是完全合法的。而类型类方案中，Circle和Rectangle是独立类型，无法直接存入同个列表，若要实现类似功能需借助存在类型（Existential Types），会大幅增加代码复杂度。
• 紧凑简洁的逻辑：当所有变体的逻辑高度关联、且不需要给外部类型扩展功能时，ADT的写法更紧凑，无需额外定义类型类和多个实例，代码结构更清晰。
• 易共享通用逻辑：如果要给形状新增通用逻辑（比如判断是否为圆形的isRound函数），ADT只需在模式匹配中统一处理：

  isRound :: Shape -> Bool
  isRound (Circle _) = True
  isRound _ = False
  

  而类型类方案需要每个实例单独实现该函数，或依赖默认实现，灵活性远不如ADT。

选择类型类的理由 #

• 支持外部类型扩展：除了无需修改原有代码的优势，还能给第三方库的类型实现类型类。比如可以给标准库的Double类型（假设代表圆的直径）新增Shape实例，而ADT无法做到这一点——ADT的构造器必须预先定义，无法扩展外部类型。
• 无关类型的多态支持：类型类允许同一个函数（如area）支持完全独立的类型，这些类型除了实现area之外无需任何关联。而ADT要求所有变体属于同一个类型，隐含了它们之间的强关联。
• 避免类型臃肿：当需要支持的类型数量多且彼此独立时，类型类不需要把所有类型塞进同一个ADT中，每个类型保持独立，不会让ADT的定义变得冗长复杂。
• 默认实现与层级复用：类型类可以定义默认方法，比如给Shape类型类新增perimeter方法时，可针对部分形状提供默认实现；还能通过类型类继承（如定义Shape3D继承Shape）实现层级化的功能复用，这些都是ADT难以实现的。

两种实现的代码示例 #

ADT+模式匹配实现

data Shape = Circle Float | Rectangle Float Float
area :: Shape -> Float
area (Circle r) = pi * r^2
area (Rectangle a b) = a*b

类型类实现

class Shape s where
    area :: s -> Float

data Circle = Circle Float
instance Shape Circle where
    area (Circle r) = pi * r^2

data Rectangle = Rectangle Float Float
instance Shape Rectangle where
    area (Rectangle a b) = a*b

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