「：
把所有的模式匹配都转换成 if
：」

寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。

。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。

寻观「拓展库」之「顺序标识符」之「顺序标识符」之书。

寻观「编译器核心」之「编译步骤」之「求值正则变换」之「正则形式统一变换」之书。

「：将三抽象转换成单抽象：」
「模式匹配消除」乃化「表达式」而「表达式」也。
「模式匹配消除」者会「式」而
  虑「可能递归消除」者（遇「表达式」者「分支内式」而
  鉴「分支内式」而
    有（「式节点」于「模式匹配」于（「缀」于「分析式」于「分支们」））则
        （「模式匹配消除」于「分支内式」）
    或有「其他」则
        （「分支内式」））而
        鉴「式」而
          有（「式节点」于「模式匹配」于（「缀」于「分析式」于「分支们」））
          则（虑「无」者「编译调试打印行」于
            『pattern_match_cancel』
            于（会「无」而『模式匹配消除进行』附（「表达式表示」于「式」））而
              虑「分析式名」者（若（「是直接变量」于「分析式」）则（「读取直接变量」于「分析式」）否则
                  （「下个字符序数」于『分析式消除』））而
              递归虑「处理剩余」其化（「列」于「表达式」）而「表达式」者（会「剩余」而鉴
                  「剩余」而
                  有「罄」则「发生事故」于『必须有默认分支』
                  或有（「缀」于（「式节点」于（「变量模式匹配分支」）于（（「列」【「结果」】）））于「多余分支」）则
                    （「可能递归消除」于（「式替换」于（「自由变量」于「分析式名」）于「结果」））
                  或有（「缀」
                    于（「式节点」于（「常量模式匹配分支」）于（（「列」【「常量」，「分支式」】）））于
                    「其余分支」）则（虑「后续分支」者「处理剩余」于「其余分支」
                                      而
                                      鉴「常量」而
                                        有（「式节点」于（「整数节点」于「数」）于「罄」）则
                                          「式节点」于「内联虑」
                                            于（（「列」【（「式节点」于（「整数节点」于「数」）于「罄」），（「构造抽象」于『闭消数』
                                            于（会「数名」而「式节点」于「内联虑」
                                            于（（「列」【（「式节点」
                                            于（「展开后内建节点」于「内建函数整数相等」）
                                            于（（「列」【（「自由变量」于「分析式名」），（「自由变量」于「数名」）】））），（「构造抽象」于『闭消相等结果』
                                            于（会「相等结果」而「式节点」于「爻分支节点」
                                            于（「列」【「自由变量」于「相等结果」，「可能递归消除」于「分支式」，「后续分支」】）））】））））】））
                                        或有（「式节点」于（「字符串节点」于「串」）于「罄」）则
                                          「式节点」于「内联虑」
                                            于（（「列」【（「式节点」于（「字符串节点」于「串」）于「罄」），（「构造抽象」于『闭消串』
                                            于（会「串名」而「式节点」于「内联虑」
                                            于（（「列」【（「式节点」
                                            于（「解析后外部调用节点无类型」于『豫言_字符串相等』）
                                            于（（「列」【（「自由变量」于「分析式名」），（「自由变量」于「串名」）】））），（「构造抽象」于『闭消相等结果』
                                            于（会「相等结果」而「式节点」于「爻分支节点」
                                            于（「列」【「自由变量」于「相等结果」，「可能递归消除」于「分支式」，「后续分支」】）））】））））】））
                                        或有（「式节点」于（「展开后内建节点」于「内建爻阳」）于「罄」）则「式节点」于
                                          「爻分支节点」于（「列」【「自由变量」于「分析式名」，「可能递归消除」于「分支式」，「后续分支」】）
                                        或有（「式节点」于（「展开后内建节点」于「内建爻阴」）于「罄」）则「式节点」于
                                          「爻分支节点」于（「列」【「自由变量」于「分析式名」，「后续分支」，「可能递归消除」于「分支式」】））
                  或有（「缀」
                    于（「式节点」于（「唯一构造器模式匹配分支」于「序数」）于（（「列」【「分支式」】）））于
                      「其余分支」）则（虑「后续分支」者「处理剩余」于「其余分支」而

                                        「式节点」于
                                        「内联虑」
                                        于（（「列」【（「式节点」于（「整数节点」于「序数」）于「罄」），（「构造抽象」于
                                        『闭消序数』
                                        于（会
                                        「序数名」
                                        而
                                        「式节点」于
                                        「内联虑」
                                        于（（「列」【（「式节点」
                                        于（「唯一构造器序数元组投影序数节点」）
                                        于（（「列」【（「自由变量」于「分析式名」）】））），（「构造抽象」于
                                        『闭消待检测数』
                                        于（会
                                        「待检测数名」
                                        而
                                        「式节点」于
                                        「内联虑」
                                        于（（「列」【（「式节点」
                                        于（「展开后内建节点」于「内建函数整数相等」）
                                        于（（「列」【（「自由变量」于「待检测数名」），（「自由变量」于「序数名」）】））），（「构造抽象」于
                                        『闭消相等结果』
                                        于（会
                                        「相等结果」
                                        而
                                        「式节点」于
                                        「爻分支节点」
                                        于（「列」【
                                          「自由变量」于「相等结果」，
                                          「式节点」于
                                            「内联虑」
                                            于（（「列」【（「式节点」
                                            于（「唯一构造器序数元组投影元组节点」）
                                            于（（「列」【（「自由变量」于「分析式名」）】））），（「构造抽象」于
                                            『参数数组』
                                            于（会
                                            「参数数组」
                                            而
                                            「可能递归消除」
                                            于（「式替换」于（「自由变量」于「参数数组」）于「分支式」）））】）），
                                          「后续分支」
                                        】）））】））））】））））】）））
                  或有「其他」则「发生事故」于『消83』
              ）
                  而
                  虑「初步结果」者「处理剩余」于「分支们」而
                  虑「结果」者（若（「是直接变量」于「分析式」）则
                      （「初步结果」）
                  否则
                    （「式节点」于「内联虑」
                      于（（「列」【「分析式」，（「进行抽象」于「分析式名」于「初步结果」）】））））
                  而
                  虑「无」者「编译调试打印行」于『pattern_match_cancel』
                        于（会「无」而『模式匹配消除结果』附（「表达式表示」于「结果」））而

                  「结果」
          ）
          或有「其他」则
            （「发生事故」于『期待模式匹配，却得到了：』附（「表达式表示」于「其他」））
也。

「展开展开后唯一构造器节点」乃化「表达式」而「表达式」也。
「展开展开后唯一构造器节点」者会「实现」而鉴「实现」而
  有（「式节点」于（「展开后唯一构造器节点」于「序数」）于「参数」）则（若（「大于」
        于（「长度」于「参数」）于「二五零」
    ）则
      （「发生事故」于『暂时不支持长度超过250的构造器』）
  否则
    （「式节点」于（「唯一构造器序数元组节点」于「序数」于（「长度」于「参数」））
      于（（「列」【（「式节点」于（「元组构造节点」）于「参数」）】）））
      「： 式节点于「内联虑」于【式节点于（整数节点于「序数」）于【】，
                            构造抽象于『闭消序数』于（会序数名而
                                式节点于「内联虑」于【（式节点于（元组构造节点）于参数），
                                构造抽象于『闭消参数组』于（会参数组名而
                                    （式节点于（元组构造节点）于（自由变量于序数名）衔（自由变量于参数组名）衔【】）
                                ）
                            】）】 ：」
  ）
  或有「其他」则
      「发生事故」于（『期待唯一构造器』）也。
