Haskell中调整Example的Size值并保留Color值的最简方法

首先得修正你代码里的几个小问题——你的数据类型定义存在语法/逻辑错误，这会导致没法按预期实现“修改Size保留Color”的需求。先把基础类型定义捋顺：

-- 先定义颜色分量类型（你可以根据实际需求调整，比如改成Int表示RGB值）
data Red = R deriving (Show)
data Green = G deriving (Show)
data Blue = B deriving (Show)

-- Color类型包含三个颜色分量
data Color = C Red Green Blue deriving (Show)

-- Size类型的定义没问题，调整下构造器写法（Haskell里构造器首字母大写即可，无需加S前缀）
data Size = Small | Medium | Large deriving (Show)

接下来，要让Example同时持有Color和Size两个值，这里有两种常用实现方式：

方式一：模式匹配手动构造（基础写法） #

先定义包含Color和Size的Example类型：

data Example = Example Color Size deriving (Show)

要修改Size同时保留原有Color，只需要通过模式匹配提取出原Example里的Color，再和新Size重新构造Example即可：

useExample :: Example -> String -> Example
useExample (Example originalColor _) sizeStr = Example originalColor $ case sizeStr of
  "S" -> Small
  "M" -> Medium
  "L" -> Large
  -- 建议添加默认分支，避免非穷举匹配的警告/错误
  _ -> error "Invalid size input. Use 'S', 'M', or 'L'."

这里的_表示我们忽略原有的Size值，只保留originalColor，再结合新生成的Size构造出全新的Example实例。

方式二：记录语法（更简洁的字段访问/修改） #

Haskell的记录语法可以自动生成字段访问器，并且支持仅修改指定字段、保留其他字段原值的语法，这应该是你想要的“直接访问Size值”的最简方式：

-- 用记录语法定义Example，自动生成exampleColor、exampleSize两个访问器函数
data Example = Example { exampleColor :: Color, exampleSize :: Size } deriving (Show)

-- 修改Size的函数可以写得非常简洁
useExample :: Example -> String -> Example
useExample example sizeStr = example { exampleSize = newSize }
  where
    newSize = case sizeStr of
      "S" -> Small
      "M" -> Medium
      "L" -> Large
      _ -> error "Invalid size input"

这里的example { exampleSize = newSize }语法会自动保留example里的exampleColor原值，只把exampleSize替换成newSize，完全符合你“调整单个存储值同时保留原有其他值”的需求。

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