寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。

「：文言：算而无事，乃许先于栈置；除与调用，皆止。汉语：拆出首个根数组前的整数加减乘。这里只识别结构；须另验合法 SSA、整数表示、封闭调用图及不逃逸。前导允许依赖先前计算，拒绝除法、读写、分支、调用及其他可能产生效果或陷阱的操作。：」
「栈前导分拆」乃
  化（「列」于「正则指令」）而
  「或可有」于（（「列」于「正则指令」）合（「列」于「正则指令」））
也。
「栈前导分拆」者会「诸令」而
  递归虑「行」其化（「列」于「正则指令」）而化（「列」于「正则指令」）而「或可有」
  于（（「列」于「正则指令」）合（「列」于「正则指令」））者会「前」而
  会「余」而
  鉴「余」而
    有「罄」则「可无」
    或有（「缀」于「令」于「后」）则（
      鉴「令」而
        有（「正则运算」于「号」于「类」于（「正则原语」于「名」）于（「列」【「甲」，「乙」】））则（
          若「串相等」于「名」于『豫言_新建引用数组』则
            「可有」于（（「反转」于「前」）与「余」）
          否则
            若「存在吗」授以「字符串」
            于（会「候」而「串相等」于「名」于「候」）
            于（「列」【『豫言_整数加』，『豫言_整数减』，『豫言_整数乘』】）则
              「行」于（「缀」于「令」于「前」）于「后」
            否则
              「可无」
        ）
        或有「其他」则「可无」
    ）
  而
  「行」于「罄」于「诸令」
也。
