如何保持“状态”？当您使用 Haskell (HaXml) 进行 SAX 解析时

Question

我是 Haskell 的新手，对于我的第一个真正的问题 使用 Haskell，我尝试使用 HaXml SAX 解析来解析一个巨大的 XML 文件。

我遇到的最大问题是如何找出封闭的内容 任何特定“charData”SaxElement 的元素标记。如果我在做 在命令式语言中，我只会有一个有状态数组 当 SAX 事件发生时维护元素标签堆栈的对象。我 当“SAX.SaxElementOpen”为时，会将元素名称推送到堆栈 遇到“SAX.SaxElementClose”时弹出一个。 然后，如果我得到一个“SAX.SaxCharData”事件/元素，我可以看看 知道

现在我试图在 Haskell 中解决这个问题，但我不 如何解决缺乏全局状态变量的问题。我只有一个 关于 Monad 的作用的模糊概念，所以如果它们是解决方案，我可以使用 一两个小费。

希望这里有足够的代码来显示我已经走了多远：

module Main where

import qualified Text.XML.HaXml.SAX as SAX
import Text.XML.HaXml
import Data.Maybe
import Text.XML.HaXml.Namespaces

main = let inputFilename = "/path/to/file.xml" in
    do content <- readFile inputFilename
       let (elements, error) = SAX.saxParse inputFilename content
       mapM_ putStrLn (summarizeElements elements)

summarizeElements :: [SAX.SaxElement] -> [String]
summarizeElements elements = filter (\s -> length s > 0) $ map summarizeElement elements

summarizeElement :: SAX.SaxElement -> String
summarizeElement element = case element of
    (SAX.SaxElementOpen name attrs)  -> myProcessElem name attrs
    (SAX.SaxCharData charData)       -> myProcessCharData charData 
    (SAX.SaxElementTag name attrs)  -> myProcessElem name attrs
    _ -> ""

Answer 1

这里的问题是 map 没有按照您的意愿携带状态。一种简单的方法是将您想要的内容编写为递归函数，通过递归调用传递状态。您需要决定在状态堆栈中保留什么类型的值，但这只是一个问题......

go :: MyStack -> [SAX.SaxElement] -> [String]
go _ [] = []
go s (e:es) = myProcessElem e : go s' es
  where s' = pushPop s