寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「底层后端」之「底层中间式」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「底层后端」之「底层读取」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「底层后端」之「底层求值」之书。

「：文言：化简：代入字面之令，折叠纯算，静串置址，顶层常量代之以数，令后即若者并之。汉语：一遍自上而下的化简：让名绑到字面（整数或字符串）就代入并去掉这个令；纯整数运算的实参全是整数则折叠；静态串外部调用分配地址；对顶层常量的引用取值；`令 x = v 于 若 x …` 且 x 不再出现时并为 `若 v …`；条件是字面时只留一支。：」
「低层查字面」乃
  化（「列」于（「字符串」合「低层项」））而
  化「字符串」而
  （「或可有」于「低层项」）
也。
「低层查字面」者会「境」而会「名」而
  鉴「境」而
    有「罄」则「可无」
    或有「缀」于「首」于「尾」则
      若「串相等」于（「首」中「零」）于「名」则「可有」于（「首」中「一」）否则「低层查字面」于「尾」于「名」
也。

「低层是字面」乃化「低层项」而「爻」也。
「低层是字面」者会「项」而
  鉴「项」而
    有「项整」于「数」则「阳」
    或有「项串」于「文」则「阳」
    或有「其他」则「阴」
也。

「低层全是整数」乃化（「列」于「低层项」）而「爻」也。
「低层全是整数」者会「们」而
  「全部符合」授以「低层项」
    于（会「项」而鉴「项」而
      有「项整」于「数」则「阳」
      或有「其他」则「阴」）于「们」
也。

「低层取整数们」乃化（「列」于「低层项」）而（「列」于「整数」）也。
「低层取整数们」者会「们」而
  「态射」授以「低层项」授以「整数」
    于「们」
    于（会「项」而鉴「项」而
      有「项整」于「数」则「数」
      或有「其他」则「零」）
也。

「：文言：令后即若，且令名不复见，则并之。汉语：`令 x = v 于 若 x 则 甲 否则 乙`，若 x 不在甲乙中出现，化为 `若 v 则 甲 否则 乙`；求值顺序不变，因为 v 本来就紧接着被判断。：」
「低层并令若」乃化「字符串」而化「低层项」而化「低层项」而「低层项」也。
「低层并令若」者会「名」而会「值」而会「体」而
  鉴「体」而
    有「项若」于（「项局」于「名字」）于「真」于「假」则（
      若「且」
        于（「串相等」于「名字」于「名」）
        于（「且」
          于（「等于」于（「低层引用数」于「名」于「真」）于「零」）
          于（「等于」于（「低层引用数」于「名」于「假」）于「零」））
      则
        「项若」于「值」于「真」于「假」
      否则
        「项令」于「名」于「值」于「体」
    ）
    或有「其他」则
      「项令」于「名」于「值」于「体」
也。

「低层化简」乃
  化（「列」于（「字符串」合「低层项」））而
  化「低层项」而
  「低层项」
也。
「低层化简」者会「境」而会「项」而
  鉴「项」而
    有「项局」于「名」则
      （鉴「低层查字面」于「境」于「名」而
      有「可有」于「字面」则「字面」
      或有「可无」则「项」）
    或有「项引」于「文件」于「名」则
      「项整」于（「低层取常量」于（「文件」附『#』附「名」））
    或有「项令」于「名」于「值」于「体」则（
      虑「新值」者「低层化简」于「境」于「值」而
      若「低层是字面」于「新值」则
        「低层化简」于（「缀」于（「名」与「新值」）于「境」）于「体」
      否则
        「低层并令若」于「名」于「新值」于（「低层化简」于「境」于「体」）
    ）
    或有「项若」于「条」于「真」于「假」则（
      虑「新条」者「低层化简」于「境」于「条」而
      鉴「新条」而
        有「项整」于「数」则
          （若「不等于」于「数」于「零」则「低层化简」于「境」于「真」否则「低层化简」于「境」于「假」）
        或有「其他」则
          「项若」
            于「新条」
            于（「低层化简」于「境」于「真」）
            于（「低层化简」于「境」于「假」）
    ）
    或有「其他」则（
      虑「新」者
        「低层映射子项」于（会「子」而「低层化简」于「境」于「子」）于「项」而
      鉴「新」而
        有「项外」于「名」于「参们」则（
          若「串相等」于「名」于『底层_静态串』则（
            鉴「参们」而
              有（「列」【「项串」于「文」】）则
                「项整」于（「低层分配静态串」于「文」）
              或有「余参」则「新」
          ）
          否则若「且」
            于（「低层是纯算名」于「名」）
            于（「低层全是整数」于「参们」）则（
              鉴「低层纯算」于「名」于（「低层取整数们」于「参们」）而
                有「可有」于「果」则「项整」于「果」
                或有「可无」则「新」
            ）
          否则
            「新」
        ）
        或有「项调」于「调名」于「调参们」则
          「项调」于（「低层解别名」于「调名」）于「调参们」
        或有「余项」则「新」
    ）
也。
