Haskell JSON序列化的惯用简化方案与最佳实践咨询
代码生成在Haskell开发中是非常普遍且被鼓励的实践，“自动生成代码破坏函数式编程优雅性”是完全的误解。
函数式编程的核心原则之一是抽象重复逻辑，只要是结构固定、没有自定义逻辑的机械样板代码，都应该交给工具自动生成，而不是人手复制粘贴。Haskell生态里代码生成的应用场景非常多：
- 基于GHC泛型机制自动派生类型类实例，覆盖相等比较、序列化、遍历、哈希等通用逻辑
- 通过Template Haskell在编译期生成样板代码，比如透镜访问器、路由绑定、SQL语句映射
- 用专门的工具生成词法分析器、语法分析器、服务端客户端接口定义等
这些生成逻辑都在编译阶段完成，最终产出的代码和人手写的性能完全一致，而且你只需要维护核心的生成规则，不需要手动同步几十上百份重复代码，反而比手写重复代码更符合优雅、可维护的设计要求。反倒是你看到的手写80行结构完全一致的ToJSON实例，是典型的反模式，属于没有用对Haskell抽象能力的写法。
你提到的“自己写函数生成器”“读CSV配置”的思路里，只有编译期代码生成是符合Haskell惯例的，运行时读CSV是非常差的选择——完全丢掉了静态类型的优势，配置写错了要到运行时才能发现问题，还会带来不必要的运行时开销。针对你贴的这类序列化场景，按推荐优先级从高到低有三个成熟方案：
1. 基于GHC泛型自动派生实例
这是目前Haskell里处理JSON序列化的标准写法，零额外样板，完全不需要手写任何实例。
Haskell常用的JSON库aeson原生支持基于Generic类型类的自动派生，你只需要给所有AST类型开启泛型派生，再配置好序列化规则，就能自动生成和你贴的手写代码逻辑完全一致的实例。
你贴的代码序列化规则非常统一：每个构造器输出一个单键JSON对象，键名就是构造器本身的名字，值是构造器所有字段按顺序组成的JSON数组。这个格式只需要几行配置就能适配：
{-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE DeriveAnyClass #-} import GHC.Generics (Generic) import Data.Aeson import Data.Text (pack) -- 统一配置序列化规则 astJsonOptions :: Options astJsonOptions = defaultOptions { sumEncoding = ObjectWithSingleField , constructorTagModifier = id } -- 所有AST类型只需要加两个派生类，不需要手写toJSON逻辑 data FunDep l = FunDep l Name Name deriving (Generic, ToJSON) data GadtDecl l = GadtDecl l Name Type deriving (Generic, ToJSON) data FieldDecl l = FieldDecl l Name BangType deriving (Generic, ToJSON) -- 剩下几十种同结构类型完全同理，一行派生即可
如果后续需要调整序列化格式，比如修改键名规则、加公共字段，只需要修改astJsonOptions一处配置，所有类型的序列化逻辑会自动同步。
2. 用Template Haskell批量生成实例
如果你用的GHC版本较老不支持泛型派生，或者序列化逻辑有特殊的定制需求泛型满足不了，可以写一个简单的Template Haskell宏，在编译期批量扫描所有需要处理的AST类型，按照你要的规则自动生成ToJSON实例。
这种方式和你手写实例的行为100%一致，但是你只需要维护一次生成逻辑，新增AST类型的时候只需要加一行宏调用，不需要复制粘贴代码。
3. 提取公共辅助函数消除重复结构
如果你既不想用泛型也不想用TH，至少可以把重复的逻辑抽成公共高阶函数，去掉冗余代码。你贴的所有实例逻辑完全一致，可以抽一个通用的构造器序列化函数：
-- 通用构造器序列化逻辑：传入构造器名和字段JSON值列表，输出符合要求的JSON对象 mkConJson :: String -> [Value] -> Value mkConJson conName fields = object [pack conName .= fields]
之后每个实例的逻辑就可以简化成一行：
instance ToJSON l => ToJSON (FunDep l) where toJSON (FunDep l n1 n2) = mkConJson "FunDep" [toJSON l, toJSON n1, toJSON n2] instance ToJSON l => ToJSON (GadtDecl l) where toJSON (GadtDecl l n1 t2) = mkConJson "GadtDecl" [toJSON l, toJSON n1, toJSON t2]
这种写法虽然还是要为每个类型写实例，但是公共逻辑已经被抽离，后续修改序列化规则只需要改mkConJson一个地方，不需要逐个修改几十份实例。
至于你提到的把配置存在CSV里运行时加载的方案，完全不推荐。这种方式放弃了Haskell的静态检查能力，只要CSV里的构造器名拼错、字段数写错，程序运行时才会抛出错误，排查成本极高，而泛型和TH的方案在编译阶段就能把这类错误全部拦截，运行时也没有额外开销，是更优的选择。
内容的提问来源于stack exchange，提问作者Talmsmen
