Haskell中如何优雅访问language-bash解析出的嵌套结构值？

针对你用language-bash解析Bash脚本后得到的嵌套复杂结构，无需手动写大量模式匹配的话，可以试试以下几种方案：

1. 编写递归遍历函数提取目标节点 #

写一个通用的递归函数，遍历整个语法树结构，自动收集所有Assign类型的节点，把变量名和对应值提取出来。这种方式适合一次性获取所有赋值项，不用关心上层嵌套结构：

import Language.Bash.Syntax

extractAllAssignments :: Statement -> [(String, String)]
extractAllAssignments (Statement cmd _) = extractCommand cmd
  where
    -- 处理Command类型
    extractCommand (Last pipeline) = concatMap extractPipelineCmd pipeline.commands
    extractCommand _ = []

    -- 处理Pipeline中的命令
    extractPipelineCmd (Command simpleCmd _) = extractSimpleCmd simpleCmd
    extractPipelineCmd _ = []

    -- 处理SimpleCommand中的赋值
    extractSimpleCmd (SimpleCommand assigns _) = map convertAssign assigns
    extractSimpleCmd _ = []

    -- 把Assign转换为键值对
    convertAssign (Assign (Parameter name Nothing) Equals (RValue chars)) = 
        (name, concatMap (\(Char c) -> [c]) chars)
    convertAssign _ = ("", "") -- 兼容其他Assign格式

调用时直接传入解析后的Statement即可：

case parse "" "x=3" of
    Right (List [stmt]) -> extractAllAssignments stmt -- 得到 [("x", "3")]
    _ -> []

2. 使用透镜（Lenses）精准访问节点 #

Haskell的lens库是处理嵌套数据结构的利器，你可以为Assign以及上层结构定义透镜，通过透镜组合直接定位到目标字段，避免手动逐层匹配：

首先需要依赖lens库，然后定义对应的透镜：

import Control.Lens
import Language.Bash.Syntax

-- 提取Assign中的变量名
assignName :: Lens' Assign String
assignName f (Assign param eq val) = 
    (\newName -> Assign (Parameter newName Nothing) eq val) <$> f name
  where
    Parameter name _ = param

-- 提取Assign中的值字符串
assignValueStr :: Lens' Assign String
assignValueStr f (Assign param eq (RValue chars)) = 
    (\newStr -> Assign param eq (RValue $ map Char newStr)) <$> f str
  where
    str = concatMap (\(Char c) -> [c]) chars
assignValueStr f a = pure a

如果需要定位到特定嵌套层级的Assign，可以继续为上层的SimpleCommand、Pipeline等结构定义透镜，然后用透镜组合访问：

-- 示例：访问List中第一个Statement里的第一个Assign
case parse "" "x=3" of
    Right (List [stmt]) -> 
        stmt ^? statementCommand . _Last . pipelineCommands . _head . _Command . simpleCommandAssigns . _head . assignName
        -- 得到 Just "x"
    _ -> Nothing

3. 借助generic-lens自动生成访问器 #

如果你的项目使用GHC的泛型支持，generic-lens库可以基于数据类型的泛型表示自动生成访问器，无需手动定义透镜，直接通过字段名访问嵌套结构中的字段：

比如可以直接通过字段名访问Pipeline的commands字段，SimpleCommand的assigns字段等，大幅减少代码量：

import Data.Generics.Labels
import Language.Bash.Syntax

case parse "" "x=3" of
    Right (List [stmt]) -> 
        stmt ^? #statementCommand . #_Last . #commands . _head . #_Command . #assigns . _head . #param . #name
        -- 得到 Just "x"
    _ -> Nothing

以上几种方案都能避免大量重复的模式匹配代码，你可以根据自己的需求选择：递归遍历适合批量提取，透镜适合精准修改或访问，generic-lens适合快速基于字段名操作。

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