Haskell如何在数据构造器中实现字段继承，对应C#抽象类字段效果？

Haskell没有面向对象语言中的类继承机制，要实现「所有产品类型必须包含title字段」的需求，通常有两种符合Haskell范式的实现方案：

方案1：类型类约束（强制提供title访问能力） #

通过定义类型类约束所有产品类型必须实现getTitle方法，间接保证所有类型都持有title字段：

-- 定义带title访问能力的类型类
class HasTitle a where
  getTitle :: a -> String

-- 定义录像带类型，包含title字段
data Videotape = Videotape
  { videotapeTitle :: String
  } deriving (Show, Eq)

-- 定义图书类型，包含title和作者字段
data Book = Book
  { bookTitle :: String
  , authorName :: String
  } deriving (Show, Eq)

-- 给Videotape实现HasTitle实例
instance HasTitle Videotape where
  getTitle = videotapeTitle

-- 给Book实现HasTitle实例
instance HasTitle Book where
  getTitle = bookTitle

使用时，你可以写对所有带title的产品通用的函数：

-- 通用函数：打印任意产品的title
printProductTitle :: HasTitle a => a -> IO ()
printProductTitle = putStrLn . getTitle

-- 调用示例
main :: IO ()
main = do
  let tape = Videotape "泰坦尼克号"
      book = Book "Haskell趣学指南" "Miran Lipovaca"
  printProductTitle tape -- 输出 泰坦尼克号
  printProductTitle book -- 输出 Haskell趣学指南

方案2：公共字段组合（更适合多公共字段的场景） #

如果除了title之外还有多个公共字段，可以把公共字段封装成基础的Product记录，其他产品类型直接包含该记录：

-- 封装所有公共字段的基础Product类型
data Product = Product
  { title :: String
  -- 这里可以加其他公共字段，比如价格、上架时间等
  } deriving (Show, Eq)

-- 录像带类型包含Product字段
data Videotape = Videotape
  { product :: Product
  } deriving (Show, Eq)

-- 图书类型包含Product字段和自己的独有字段
data Book = Book
  { product :: Product
  , authorName :: String
  } deriving (Show, Eq)

-- 配合类型类实现统一的title访问
class HasTitle a where
  getTitle :: a -> String

instance HasTitle Videotape where
  getTitle = title . product

instance HasTitle Book where
  getTitle = title . product

这种方案的优势是新增公共字段时，只需要修改Product类型，不需要调整所有具体产品类型的定义。

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