优化Attoparsec解析器：规避单字符Text打包的低效问题

你遇到的核心问题是逐个将字符打包为单元素Text带来的额外开销，以下是几种高效的替代方案：

1. 使用Text.Builder累积结果 #

Data.Text.Builder专门用于高效构建Text，避免频繁创建小Text对象和拼接操作。通过singleton处理单个字符，最后一次性转换为Text，能显著降低开销：

import Data.Text (Text)
import qualified Data.Text as T
import qualified Data.Text.Builder as B
import Data.Attoparsec.Text (Parser, anyChar)

parseEqStarMonad :: Parser Text
-- 此处保留原实现

envParser :: Parser Text
envParser = B.toText <$> many (buildParser <|> buildChar)
  where
    buildParser = B.fromText <$> parseEqStarMonad
    buildChar = B.singleton <$> anyChar

2. 批量读取普通字符块（如果可行） #

如果能明确parseEqStarMonad的匹配边界（比如它总是以特定字符/模式开头），可以用takeWhile1一次性读取所有不触发该模式的字符，直接生成一个Text块，彻底避免逐个字符处理：

假设parseEqStarMonad以=开头，示例如下：

envParser :: Parser Text
envParser = mconcat <$> many (parseEqStarMonad <|> T.takeWhile1 (/= '='))

这种方式的效率最高，因为它将连续的普通字符一次性读取转换，减少了Parser的迭代次数和Text对象的创建。

3. 用T.singleton替代手动打包列表 #

如果不想引入Builder依赖，可直接使用T.singleton替代pack [c]——这是Text库提供的更高效的单字符转Text函数，避免了手动创建单元素列表的额外开销：

import Data.Text (Text)
import qualified Data.Text as T
import Data.Attoparsec.Text (Parser, anyChar, many)

parseEqStarMonad :: Parser Text
-- 此处保留原实现

envParser :: Parser Text
envParser = mconcat <$> many (parseEqStarMonad <|> (T.singleton <$> anyChar))

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