Haskell中如何简化YAML读取 减少嵌套取值样板代码

你不需要为每一层YAML嵌套单独定义数据类型和FromJSON实例，Haskell生态有成熟方案可以实现类似Python字典链式取值的效果，完全消除冗余样板代码。

方案1：直接用通用Value类型配合镜头链式取值 #

Data.Yaml基于aeson实现，本身提供了无模式的通用值类型Value，配合lens-aeson库的镜头操作符，可以直接写链式取值逻辑，不需要定义任何自定义数据结构。
需要提前引入几个常用依赖：

• yaml：YAML解析核心库
• aeson：JSON/YAML通用值类型定义
• lens、lens-aeson：提供链式取值的镜头操作
• text：处理文本类型

最简实现代码如下：

{-# LANGUAGE OverloadedStrings #-}
module Parser where

import qualified Data.Yaml as Y
import Control.Lens
import Data.Aeson.Lens

main :: IO ()
main = do
  -- 直接将YAML文件解码为通用Value类型，无需自定义任何中间类型
  y <- either (error . show) id <$> Y.decodeFileEither "example.yaml" :: IO Y.Value
  -- 链式读取嵌套字段，逻辑完全等价于Python的obj["canary_instance"]["metadata"]["a"]["b"]["c"]
  let target = y ^? key "canary_instance" . key "metadata" . key "a" . key "b" . key "c" . _String
  print target

运行后直接输出Just "d"，和你之前手写多层类型、解析实例的效果完全一致。
几个核心操作的说明：

• key "xxx"：对应字典按键取值的操作，自动识别Object类型字段
• ^?：安全取值操作符，路径不存在、字段类型不匹配时会返回Nothing，不会触发运行时错误
• _String：将读取到的通用Value转换为Text类型，类型不匹配时同样返回Nothing

方案2：仅定义核心业务类型，嵌套层用通用Object承接 #

如果你需要保留核心业务结构的强类型约束，不需要为深层无业务逻辑的嵌套层单独定义类型，可以直接将这部分字段声明为aeson的Object类型（本质是键为Text的HashMap），需要取值时再用上述镜头逻辑读取即可，代码量会大幅降低：

{-# LANGUAGE OverloadedStrings #-}
module Parser where

import Data.Aeson
import qualified Data.Yaml as Y
import Control.Lens
import Data.Aeson.Lens

-- 仅定义你关心的顶层核心结构，深层嵌套直接用通用Object类型承接
data Instance = Instance
  { name :: String
  , metadata :: Object
  } deriving Show

instance FromJSON Instance where
  parseJSON (Object m) = Instance <$> m .: "name" <*> m .: "metadata"
  parseJSON x = fail $ "not an object: " ++ show x

main :: IO ()
main = do
  y <- either (error . show) id <$> Y.decodeFileEither "example.yaml" :: IO Y.Value
  let cVal = y ^? key "canary_instance" . key "metadata" . key "a" . key "b" . key "c" . _String
  print cVal

方案3：泛型派生自动生成解析实例 #

如果你确实需要把所有嵌套字段都映射为强类型，也不需要手写每一层的FromJSON实现，开启Haskell泛型扩展即可让编译器自动生成解析逻辑：

{-# LANGUAGE DeriveGeneric, DeriveAnyClass, OverloadedStrings #-}
module Parser where

import GHC.Generics (Generic)
import Data.Aeson
import qualified Data.Yaml as Y
import Data.Map (Map)
import qualified Data.Map as Map

-- 所有类型自动派生Generic和FromJSON，不需要手写parseJSON逻辑
data Instance = Instance
  { name :: String
  , metadata :: InstanceMetadata
  } deriving (Show, Generic, FromJSON)

data InstanceMetadata = InstanceMetadata
  { a :: InstanceMetadataA
  } deriving (Show, Generic, FromJSON)

data InstanceMetadataA = InstanceMetadataA
  { b :: InstanceMetadataB
  } deriving (Show, Generic, FromJSON)

data InstanceMetadataB = InstanceMetadataB
  { c :: String
  } deriving (Show, Generic, FromJSON)

main :: IO ()
main = do
  y <- either (error . show) id <$> Y.decodeFileEither "example.yaml" :: IO (Map String Instance)
  print $ c . b . a . metadata <$> Map.lookup "canary_instance" y

如果遇到YAML字段命名风格和Haskell记录名不一致的场景（比如YAML用蛇形命名、Haskell用驼峰命名），配合aeson-casing库可以自动完成字段名转换，不需要手动编写字段映射规则。

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