Haskell如何实现多态解析CSV并统一导出为XLSX文件

问题根因 #

你遇到的错误核心是Haskell的多态默认是参数化多态：函数签名里的[a]表示调用方可以指定任意类型a，函数都要返回对应类型的列表，而非函数可以动态决定返回任意类型的列表，因此编译器会将a判定为刚性类型变量，禁止函数内部根据逻辑修改返回类型。
你的两个问题都可以通过「把类型类约束打包为统一的具体类型」解决，有两种常用实现方案： #

方案1：存在类型包装（推荐，可扩展） #

开启ExistentialQuantification扩展，定义一个存在类型包装器，将所有符合约束的记录类型封装为同一个具体类型：

{-# LANGUAGE ExistentialQuantification #-}

-- 定义包装类型，将所有实现了所需类型类的记录统一装起来
-- 把你需要的所有约束（解析、序列化、MyItemClass等）都放在约束列表里
data SomeItem = forall a. (MyItemClass a, FromCSV a, ToXlsxCell a) => SomeItem a

-- 为SomeItem实现共同的类型类，直接转发内部实例的方法即可
instance MyItemClass SomeItem where
  getItemId (SomeItem a) = getItemId a
  getExportFields (SomeItem a) = getExportFields a
-- 其他需要的类型类实例都按这个模式转发

解决第一个问题：动态解析函数 #

修改parseRecords的签名，返回包装后的[SomeItem]即可消除刚性类型变量错误：

parseRecords :: FilePath -> ExceptT ProgrammeError IO [SomeItem]
parseRecords path = do
  rawContent <- liftIO $ readFile path
  case takeFileName path of
    -- 匹配对应类型的文件名，解析后用SomeItem包装
    "type_a.csv" -> map SomeItem <$> parseCsvAs @RecordTypeA rawContent
    "type_b.csv" -> map SomeItem <$> parseCsvAs @RecordTypeB rawContent
    other -> throwError $ UnknownFileType other

解决第二个问题：异构集合存储 #

现在所有记录都被包装为同一个SomeItem类型，直接用普通的列表[SomeItem]就可以存储所有不同类型的记录，不需要特殊的异构列表结构，你后续导出XLSX时直接调用类型类方法即可。

完整流程实现 #

processFiles :: FilePath -> ExceptT ProgrammeError IO Xlsx
processFiles dir = do
  -- 遍历目录下所有CSV文件
  csvFiles <- liftIO $ listDirectory dir >>= filterM (fmap (== ".csv") . takeExtension)
  -- 解析所有文件，合并记录列表
  allItems <- concat <$> mapM (parseRecords . (dir </>)) csvFiles
  -- 调用序列化逻辑导出为XLSX
  exportToXlsx allItems

方案2：sum类型枚举（适合类型固定的场景） #

如果你要处理的记录类型数量固定、不会频繁新增，可以用sum类型统一所有记录，不需要开启任何扩展：

-- 枚举所有记录类型
data AllRecord = TypeA RecordTypeA | TypeB RecordTypeB

-- 为sum类型实现所有需要的类型类，分支匹配即可
instance MyItemClass AllRecord where
  getItemId (TypeA a) = getItemId a
  getItemId (TypeB b) = getItemId b
-- 其他实例同理

后续的parseRecords返回[AllRecord]，存储和导出逻辑和方案1完全一致。

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