Haskell自定义数据结构：如何提取Text分支中的文本内容

你的代码核心问题是处理Section时只递归了列表的第一个元素，完全忽略了剩余元素，同时没处理空列表的情况。以下是修正方案：

修正后的代码 #

data Article = Text String
             | Section String [Article] deriving (Show)

myArticle :: Article
myArticle = Section "Document" [
                 Section "Introduction" [
                       Text "My intoduction",
                       Section "Notation" [Text "alpha beta gamma"]],
                 Section "Methods" [
                       Section "Functional Programming" [Text "FPR"],
                       Section "Logical Programming" [Text "LPR"]],
                 Section "Results" [Text "All is great"]]

tex :: Article -> [String]
tex (Text x) = [x]
-- 忽略Section的标题，递归处理所有子Article并拼接结果
tex (Section _ articles) = concatMap tex articles

关键说明 #

1. Text分支处理：直接返回包含文本的单元素列表，符合需求。
2. Section分支处理：
   • 用_忽略Section的标题（因为我们不需要提取标题）；
   • concatMap tex articles会对列表中每个Article调用tex，再把所有返回的[String]拼接成一个完整列表，这样就能收集所有嵌套层级里的Text内容。

测试调用tex myArticle会得到结果：

["My intoduction","alpha beta gamma","FPR","LPR","All is great"]

原代码的问题分析 #

• 原模式Section x (l:ls)仅匹配非空列表的Section，遇到Section "Empty" []会直接报错；
• 只返回tex l的结果，完全丢弃了ls中所有元素的处理结果，导致大部分Text内容被遗漏。

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