豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 35 行 · 3809 字节 · UTF-8
§
寻观「标准库」之书。
寻观「编译器核心」之「编译步骤」之「求值正则变换」之「统一正则数据」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编编码基础」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编整数专门化」之书。
寻观「编译器核心」之「编译步骤」之「代码生成」之「网页汇编混合整数」之书。

「:文言:先记诸函私约,调用循证而入。汉语:按模块保存私有入口参数签名;零为通用引用,一为整数,二为数组引用。签名不改变公开入口和函数表。:」
「私有签名」即「爻」合(「列」于「整数」)也。
「私有签名表」者「新引用」授以(「数组引用类」于「私有签名」)于(「新数组引用」授以「私有签名」于(「阴」与(「罄」授以「整数」))于「零」)也。
「备私有签名」乃化「正则模块」而「有」也。
「备私有签名」者会「诸函」而
 虑「表」者「新数组引用」授以「私有签名」于(「阴」与(「罄」授以「整数」))于(「长度」授以「正则函数」于「诸函」)而
 虑「无」者「写引用」于「私有签名表」于「表」而
 虑「无」者「态射」授以「正则函数」授以「有」于「诸函」于(会「函」而
  虑「纯」者「可专整函数」于「函」而
  虑「无」者若「纯」则「元」否则「分析混整」于「函」而
  虑「签」者若「纯」则「态射」授以「整数」授以「整数」于(「函」中「二」)于(会「位」而「一」)否则
   若「读引用」于「混整有参」则「态射」授以「整数」授以「整数」于(「函」中「二」)于(会「位」而若「混整标记」于「位」则「一」否则若「混整数组标记」于「位」则「二」否则「零」)否则「罄」而
  「写数组引用」授以「私有签名」于「表」于(「查编号」于(「读引用」于「函数索引」)于(「函」中「零」))于(「纯」与「签」))而「元」也。

「私参已知」乃化「整数」而化「正则原子」而「爻」也。
「私参已知」者会「类」而会「值」而若「等于」于「类」于「零」则「阳」否则
 鉴「值」而
 有(「正则局部」于「号」)则若「等于」于「类」于「一」则「混整标记」于「号」否则「混整数组标记」于「号」
 或有(「正则整数」于「数」)则「等于」于「类」于「一」
 或有(「正则爻」于「真」)则「等于」于「类」于「一」
 或有「其他」则「阴」也。
「私参皆知」乃化(「列」于「整数」)而化(「列」于「正则原子」)而「爻」也。
「私参皆知」者会「签」而会「参」而鉴「签」而有「罄」则「阳」或有(「缀」于「类」于「余签」)则
 鉴「参」而有(「缀」于「值」于「余参」)则若「私参已知」于「类」于「值」则「私参皆知」于「余签」于「余参」否则「阴」或有「罄」则「阴」也。
「私参有证」乃化(「列」于「整数」)而化(「列」于「正则原子」)而「爻」也。
「私参有证」者会「签」而会「参」而鉴「签」而有「罄」则「阴」或有(「缀」于「类」于「余签」)则
 鉴「参」而有(「缀」于「值」于「余参」)则
  若「且」于(「非」于(「等于」于「类」于「零」))于(「私参已知」于「类」于「值」)则「阳」否则「私参有证」于「余签」于「余参」
 或有「罄」则「阴」也。