寻观「标准库」之书。
寻观「拓展库」之「文本解析组合子」之「组合子数据结构」之书。
寻观「标准库」之「数据结构」之「字符流术」之书。


「成功解析器」乃承「甲」而化「甲」而「解析器」于「甲」也。
「成功解析器」者会「结果」而
    「构造解析器」于（会「输入」而
        「成功解析」于「结果」于「输入」
    ）也。

「：Monadic Binder：」
「继续解析」乃承「甲」而承「乙」而化「解析器」于「甲」而化（化「甲」而「解析器」于「乙」）而
        「解析器」于「乙」也。
「继续解析」者会「器甲」而会「器乙生」而
    「构造解析器」于（会「串」而
        鉴（「运行解析器」于「器甲」于「串」）而有
            「成功解析」于「结果甲」于「剩余甲」则（
                「运行解析器」于（「器乙生」于「结果甲」）于「剩余甲」
            ）
            或有「失败解析」于「原因」于「剩余」则（
                「失败解析」于「原因」于「剩余」 
            ）
    ）也。

「顺序组合」乃承「甲」而承「乙」而承「丙」而化「解析器」于「甲」而化「解析器」于「乙」而化（化「甲」而化「乙」而「丙」）而
        「解析器」于「丙」也。
「顺序组合」者会「器甲」而会「器乙」而会「丙生」而
    「继续解析」于「器甲」于（会「结果甲」而
        「继续解析」于「器乙」于（会「结果乙」而
            「成功解析器」于（「丙生」于「结果甲」于「结果乙」）
        ）
    ）也。

「顺序组合取前」乃承「甲」而承「乙」而化「解析器」于「甲」而化「解析器」于「乙」而
        「解析器」于「甲」也。
「顺序组合取前」者受「甲」而受「乙」而会「器甲」而会「器乙」而
    （「顺序组合」授以「甲」授以「乙」授以「甲」）于「器甲」于「器乙」于（会「甲值」而会「乙值」而「甲值」）也。

「顺序组合取后」乃承「甲」而承「乙」而化「解析器」于「甲」而化「解析器」于「乙」而
        「解析器」于「乙」也。
「顺序组合取后」者受「甲」而受「乙」而会「器甲」而会「器乙」而
    （「顺序组合」授以「甲」授以「乙」授以「乙」）于「器甲」于「器乙」于（会「甲值」而会「乙值」而「乙值」）也。

「顺序包裹」乃承「甲」而承「乙」而承「丙」而化「解析器」于「甲」而化「解析器」于「乙」而化「解析器」于「丙」而「解析器」于「乙」也。
「顺序包裹」者受「甲」而受「乙」而受「丙」而会「器甲」而会「器乙」而会「器丙」而
    （「顺序组合取前」授以「乙」授以「丙」）于（（「顺序组合取后」授以「甲」授以「乙」）于「器甲」于「器乙」）于「器丙」也。


「结果变换」乃承「甲」而承「乙」而化「解析器」于「甲」而化（化「甲」而「乙」）而「解析器」于「乙」也。
「结果变换」者会「器」而会「变换」而
    「构造解析器」于（会「输入」而
        鉴（「运行解析器」于「器」于「输入」）而有
            「成功解析」于「结果」于「剩余」则（
                「成功解析」于（「变换」于「结果」）于「剩余」
            ）
            或有「失败解析」于「原因」于「剩余」则（
                「失败解析」于「原因」于「剩余」 
            ）
    ）也。

「失败解析器」乃承「甲」而化「字符串」而「解析器」于「甲」也。
「失败解析器」者会「错误信息」而
    「构造解析器」于（会「输入」而
        「失败解析」于「错误信息」于「输入」
    ）也。

「选择解析」乃承「甲」而化（「列」于（「解析器」于「甲」））而「解析器」于「甲」也。
「选择解析」者会「器们」而
    鉴「器们」而
        有「罄」则「发生事故」于『空的选择解析』
        或有（（「列」【「唯一器」】））则「唯一器」
        或有（「缀」于「第一」于「余下」）则
            （
                「构造解析器」于（会「输入」而
                    鉴（「运行解析器」于「第一」于「输入」）而有
                        「成功解析」于「结果甲」于「剩余甲」则（
                            「成功解析」于「结果甲」于「剩余甲」
                        ）
                        或有「失败解析」于「原因」于「剩余」则（
                            「：使用与Haskell一样的语义：」
                            若（「字符流位置相等」于「剩余」于「输入」）则
                                「运行解析器」于（「选择解析」于「余下」）于「输入」
                            否则（「失败解析」于「原因」于「剩余」）
                        ）
                ）
            ）也。

「：在失败时回溯输入：」
「尝试解析」乃承「甲」而化「解析器」于「甲」而「解析器」于「甲」也。
「尝试解析」者会「器」而
    「构造解析器」于（会「输入」而
        鉴（「运行解析器」于「器」于「输入」）而有
            「成功解析」于「结果」于「剩余」则（
                「成功解析」于「结果」于「剩余」
            ）
            或有「失败解析」于「原因」于「剩余」则（
                「失败解析」于「原因」于「输入」
            ）
    ）也。


「零或多个」乃承「甲」而化「解析器」于「甲」而「解析器」于（「列」于「甲」）也。
「零或多个」者受「甲」而会「器」而
    「构造解析器」于（会「输入」而
        鉴（「运行解析器」于「器」于「输入」）而有
            （「成功解析」于「第一个结果」于「剩余」）则（
                （「运行解析器」于（（「结果变换」授以（「列」于「甲」）授以（「列」于「甲」））于（「零或多个」于「器」）于（会「尾」而「缀」于「第一个结果」于「尾」））于「剩余」）
            ）
            或有（「失败解析」于「错误信息」于「剩余」）则（「成功解析」于「罄」于「输入」「：在失败解析时 回溯输入进度：」）
    ）也。

「一或多个」乃承「甲」而化「解析器」于「甲」而「解析器」于（「列」于「甲」）也。
「一或多个」者受「甲」而会「器」而
    「构造解析器」于（会「输入」而
        鉴（「运行解析器」于「器」于「输入」）而有
            （「成功解析」于「第一个结果」于「剩余」）则（
                「运行解析器」于（（「结果变换」授以（「列」于「甲」）授以（「列」于「甲」））于（「零或多个」于「器」）于（会「尾」而「缀」于「第一个结果」于「尾」））于「剩余」
            ）
            或有（「失败解析」于「错误信息」于「剩余」）则（
                「失败解析」于「错误信息」于「剩余」）
    ）也。


「以分割至少一个」乃承「甲」而承「乙」而化「解析器」于「甲」而化「解析器」于「乙」而「解析器」于（「列」于「乙」）也。
「以分割至少一个」者受「甲」而受「乙」而会「分割符」而会「本体」而
    （「继续解析」授以「乙」授以（「列」于「乙」））于「本体」于（会「后本体」而
        「构造解析器」于（会「可能分割输入」而
            鉴（「运行解析器」于「分割符」于「可能分割输入」）而
                有（「成功解析」于「分隔符结果」于「剩余」）则（
                    「运行解析器」于（（「继续解析」授以（「列」于「乙」）授以（「列」于「乙」））于（（「以分割至少一个」授以「甲」授以「乙」）于「分割符」于「本体」）于（会「后列」而「成功解析器」于（「缀」于「后本体」于「后列」）））于「剩余」
                ）
                或有（「失败解析」于「错误信息」于「剩余」）则（
                    「成功解析」于（（「列」【「后本体」】））于「可能分割输入」
                ）
            
        ）
    ）
    也。

「：以下两个函数参考了Haskell的Parsec实现，我们也可以自己实现：」
「以分割」乃承「甲」而承「乙」而化「解析器」于「甲」而化「解析器」于「乙」而「解析器」于（「列」于「乙」）也。
「以分割」者会「分割符」而会「本体」而
    「选择解析」于（（「列」【（「以分割至少一个」于「分割符」于「本体」），（「成功解析器」于「罄」）】））也。
