Haskell构造记录实例时如何默认填充未指定字段值

Haskell 没有内置专门的mempty with { ... }语法糖，但可以通过原生语法和轻量扩展实现完全一致的效果，不需要引入复杂依赖。

• 原生记录更新语法（全版本兼容，无扩展要求）
  这是生产环境最通用的写法：直接把mempty作为基准实例，在其后的花括号中只写需要自定义的字段，未显式声明的字段会自动保留mempty的对应取值，行为和预期的mempty with {...}完全一致，只是书写顺序把基准实例放在了花括号前。
  示例代码：

  import Data.Monoid
  
  data AppConfig = AppConfig
    { port :: Int
    , debugMode :: Bool
    , featureFlags :: [String]
    } deriving (Eq, Show)
  
  instance Semigroup AppConfig where
    -- 按业务需求实现字段合并逻辑即可
    a <> b = AppConfig (port a) (debugMode a || debugMode b) (featureFlags a <> featureFlags b)
  
  instance Monoid AppConfig where
    mempty = AppConfig 8080 False []
  
  -- 自定义端口和调试模式，其余字段自动取mempty的默认值
  devConfig :: AppConfig
  devConfig = mempty { port = 5000, debugMode = True }
  

  上述代码中devConfig的featureFlags字段会自动取mempty定义的空列表，不需要手动重复填写。

• 自定义with函数对齐语义
  如果觉得原生写法的语义不够直观，可以自己实现一个通用的with辅助函数，完全贴合你预期的书写风格：

  with :: a -> (a -> a) -> a
  with base update = update base
  
  -- 打开BlockArguments扩展后可以直接按如下格式书写，无需额外括号
  prodConfig :: AppConfig
  prodConfig = with mempty \cfg -> cfg
    { port = 80
    , featureFlags = ["rate-limit", "metrics-collect"]
    }
  

• 配合官方扩展简化代码
  日常开发中可以搭配RecordWildCards、OverloadedRecordDot等GHC官方稳定扩展，进一步减少字段名重复书写的冗余，适配更复杂的配置更新场景。

注意：直接使用AppConfig { port = 5000 }的纯构造语法时，GHC会强制要求枚举所有字段，未填写的字段不会自动从mempty或其他默认实例中隐式取值，必须显式指定基准实例做字段更新才能实现默认值填充，这个设计是为了避免隐式逻辑带来的不可预期bug。

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