Haskell中如何将多列数据类型合并为单一Column代数数据类型

没问题，这是把你分散的列类型合并成统一Column代数数据类型的方案，完全贴合你的需求：

-- 统一的Column类型，涵盖所有CSV列的变体
data Column = NumberColumn String [Double]
            | StringColumn String [String]
            | UnknownColumn String [String]
            deriving (Show, Eq)

为什么这么定义？ #

你原来的三个独立数据类型都是用来建模CSV的不同列类型，合并成一个代数数据类型后：

• 所有列都可以用Column这个统一类型来传递、存储和处理，避免了分散类型带来的冗余代码
• 每个构造器完全保留了你原来的结构：第一个字段是列名（String类型），第二个字段是列的内容列表
• 加上deriving (Show, Eq)让这个类型自动支持打印输出和相等性比较，日常调试和使用会方便很多

使用示例 #

我们可以轻松构造不同类型的列：

-- 金额列（数字类型）
amountCol :: Column
amountCol = NumberColumn "transaction_amount" [19.99, 45.50, 100.0]

-- 姓名字段（字符串类型）
nameCol :: Column
nameCol = StringColumn "customer_name" ["Emma Wilson", "Liam Davis", "Olivia Smith"]

-- 备注列（未知类型）
noteCol :: Column
noteCol = UnknownColumn "order_note" ["加急", "无特殊要求", "需冷藏"]

也可以通过模式匹配来处理不同类型的列，比如写一个获取列名的函数：

getColumnTitle :: Column -> String
getColumnTitle (NumberColumn title _) = title
getColumnTitle (StringColumn title _) = title
getColumnTitle (UnknownColumn title _) = title

或者写一个打印列基本信息的函数：

logColumnInfo :: Column -> IO ()
logColumnInfo col = case col of
  NumberColumn title vals -> putStrLn $ "[数字列] 标题：" ++ title ++ "，包含" ++ show (length vals) ++ "个数值"
  StringColumn title vals -> putStrLn $ "[字符串列] 标题：" ++ title ++ "，包含" ++ show (length vals) ++ "个文本"
  UnknownColumn title vals -> putStrLn $ "[未知类型列] 标题：" ++ title ++ "，包含" ++ show (length vals) ++ "个条目"

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