Haskell是否支持ADT构造器的多继承等价特性？

Haskell本身没有让单个ADT构造器直接归属多个顶层类型的特性，但你可以通过几种替代方案实现类似Kotlin密封接口多继承的逻辑，不必仅依赖包装器：

1. 抽离共享类型并组合 #

最直接的方式是把需要跨类型复用的构造器抽成独立类型，再在其他类型中引用它：

-- 抽离共享的失败状态类型
data GameEnded = GameEnded String

-- GameState 包含GameEnded
data GameState = Playing | GameStateEnded GameEnded

-- 让GameEnded实现FailReason类型类
class FailReason a where
  getFailMsg :: a -> String

instance FailReason GameEnded where
  getFailMsg (GameEnded msg) = msg

这样GameEnded既可以作为GameState的一部分，也能直接作为FailReason使用，避免代码重复。

2. 类型类（Typeclasses）+ 实例 #

如果不想抽离独立类型，可以通过类型类让包含目标构造器的类型同时满足多个类型约束：

data GameState = Playing | GameEnded String

class GameStateLike a where
  isActive :: a -> Bool

class FailReason a where
  getFailMsg :: a -> String

-- 让GameState同时实现两个类型类
instance GameStateLike GameState where
  isActive Playing = True
  isActive (GameEnded _) = False

instance FailReason GameState where
  getFailMsg (GameEnded msg) = msg
  getFailMsg Playing = error "Playing state is not a failure"

注意这种方式下，类型的所有构造器都会被纳入类型类实例，需要处理非目标构造器的情况（比如用Maybe返回替代error）。

3. GADTs（广义代数数据类型） #

借助GADTs可以定义带有类型约束的构造器，更精准地控制构造器的类型归属：

{-# LANGUAGE GADTs #-}

class GameState a where ...
class FailReason a where ...

-- 定义一个GADT，其中GameEnded构造器同时满足两个类型类约束
data StateOrFail where
  Playing :: GameState StateOrFail => StateOrFail
  GameEnded :: (GameState StateOrFail, FailReason StateOrFail) => String -> StateOrFail

这种方式适合需要更复杂类型关联的场景，比如BNF语法建模。

4. 零开销新类型（Newtype）包装 #

如果必须保留原有ADT结构，用newtype包装目标构造器是零开销的选择：

data GameState = Playing | GameEnded String

newtype FailReasonWrapper = FailReasonWrapper GameEnded

instance FailReason FailReasonWrapper where
  getFailMsg (FailReasonWrapper (GameEnded msg)) = msg

newtype在编译时会被优化掉，不会带来额外运行时成本。

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