该单子解析器是否会引发空间泄漏？对教程示例的疑问

我正在阅读Haskell箭头教程，对其中的示例感到困惑。示例代码为：

solfege :: Parser Char String
solfege = string "Do" <|> string "Re" <|> string "Mi"

教程提到：当solfege处理字符串"Fa"时，需等所有备选解析器失败后才能检测到整体失败；若解析器更复杂，某个备选可能在消耗大量输入后才失败，此时后续解析器可能用到的输入需保留在内存中，从而引发空间泄漏。

但我认为该示例中每个备选解析器（string "Do"、string "Re"、string "Mi"）在与"Fa"的首字符'F'对比时就会失败，除非string的实现存在缺陷，否则不会出现空间泄漏。我难以设想设计不良的单子解析器会在消耗不必要的token后才失败。请问我是否误解了教程内容？

你没误解这个简单示例的行为——在这个场景下，每个备选解析器确实会在第一个字符不匹配时立刻失败，不会产生空间泄漏。教程里的这段内容其实是在借这个简单例子引出更普遍的问题场景，而不是说这个例子本身会泄漏。

单子解析器（比如Parsec早期的实现）的<|>操作是按顺序尝试备选分支的：当第一个分支失败时，它需要回溯到分支开始前的输入状态，再尝试下一个分支。如果某个分支在失败前消耗了大量输入（比如一个复杂的解析器，先读了几千个字符才发现不匹配），那么回溯时需要把之前消耗的输入全部保留下来，供后续分支使用，这就可能导致空间泄漏——因为这些被保留的输入无法被GC及时回收。

教程拿这个简单例子当引子，是为了让读者更容易理解“分支失败后需要保留输入”这个机制，然后推导出复杂场景下的泄漏问题。你纠结的点是这个例子本身不会泄漏，这是对的，但教程的重点是这个机制在复杂场景下的隐患，而不是这个例子本身有问题。

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