Haskell中相似数据构造器与冗余代码的优化方案问询

针对你遇到的重复代码问题，有两种常用的优化方案可以消除冗余，让代码更简洁易维护：

方案一：拆分数据类型，分离共享与独有属性 #

把Token的共享位置信息和独有内容拆分成两个独立类型，外层用一个统一的类型包裹位置和内容。这种方式结构更清晰，尤其适合共享属性较多的场景：

-- 定义Token的独有内容类型
data TokenContent = EmptyContent
                  | ValueContent Int
                  | NameContent String

-- 外层Token类型，统一包含位置和内容
data Token = Token { tokenPosition :: Int, tokenContent :: TokenContent }

这样提取位置时，无需逐个匹配构造器，直接访问记录字段即可：

position :: Token -> Int
position = tokenPosition

创建Token实例也很直观：

emptyTok = Token 3 EmptyContent
valueTok = Token 7 (ValueContent 42)
nameTok = Token 12 (NameContent "username")

方案二：使用记录语法统一共享字段名 #

如果不想拆分原有类型结构，可以给每个Token构造器的位置字段起相同的名字，配合GHC的NamedFieldPuns扩展来简化提取逻辑：

{-# LANGUAGE NamedFieldPuns #-}

data Token = EmptyToken { pos :: Int }
           | ValueToken { pos :: Int, val :: Int }
           | NameToken { pos :: Int, name :: String }

此时提取位置的代码可以简化为：

position :: Token -> Int
position Token{pos} = pos

这种方式保留了原有的构造器结构，只需要启用一个轻量的GHC扩展，适合小范围调整的场景。

两种方案都能彻底消除冗余的模式匹配代码，具体选择哪种取决于你的类型复杂度和代码维护需求。

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