30、解析选项：高级解析组合器的理论与应用

解析选项：高级解析组合器的理论与应用

1. 基础理论与构造

在解析器的构建中，我们需要处理各种复杂的输入结构。为了实现这一目标，我们引入了 Gram 数据类型，并定义了一系列相关的组合器。

首先，当处理 Bind 构造时，若左侧接受空输入 ϵ ，需要额外的处理。因为右侧调用创建的第一个解析器也会竞争输入，我们可以利用左侧为空的证据来计算 >>= 右侧返回的 Gram a 值，使这些第一个解析器参与竞争。以下是 Monad 实例的定义：

instance Functor f ⇒ Monad (Gram f ) where
    return a = Gram [ ] (Just a)
    Gram lb mb >>= b2ga = case mb of
        Nothing → Gram (map (‘bindto‘b2ga) lb) Nothing
        Just b → let Gram la ma = b2ga b
                 in Gram (map (‘bindto‘b2ga) lb ++ la) ma

bindto :: Functor f ⇒ Alt f b → (b → Gram f a) → Alt f a
(fc2b ‘Seq‘ gc) ‘bindto‘ b2ga = fc2b ‘Bind‘ λc2b → c2b <$> gc >>=