豫言源码浏览器

yuyan · 142 行 · 9318 字节 · UTF-8
寻观「标准库」之书。

寻观「编译器核心」之「编译数据」之「操作符」之「操作符数据结构」之书。
寻观「编译器核心」之「编译数据」之「操作符」之「操作符操作」之书。

寻观「编译器核心」之「编译数据」之「操作符」之「内建操作符」之「内建操作符对象定义」之书。
寻观「编译器核心」之「编译数据」之「操作符」之「内建操作符」之「内建操作符类型定义」之书。

「文言符集」乃「列」于「操作符」也。
「文言符集」者
  「附加」
    于（「列」【
      「通用序列尾逗号操作符」，
      「顶层寻操作符」，
      「顶层寻观操作符」，
      「顶层寻诵操作符」，
      「顶层寻观诵操作符」，
      「顶层观操作符」，
      「顶层观诵操作符」，
      「顶层诵操作符」，
      「顶层构造声明操作符」，
      「顶层类型声明操作符」，
      「顶层不透明定义声明操作符」，
      「顶层透明定义声明操作符」
    】）
    于（「列」【
      「普通函数类型操作符」，
      「派函数类型操作符」，
      「隐派函数类型操作符」，
      「函数调用操作符」，
      「隐函数调用操作符」，
      「模式匹配分支符」，
      「模式匹配分支汇总符」，
      「模式匹配符」，
      「括号表达式操作符」，
      「通用序列空操作符」，
      「通用序列非空操作符」，
      「通用序列逗号操作符」，
      「结构投影符」，
      「爻分支符」，
      「外部调用符」，
      「外调头符」，
      「隐派函数无类型类型操作符」，
      「过期的不动点操作符」，
      「类型判断操作符」，
      「递归内联虑操作符」，
      「拉姆达操作符」，
      「有类型的拉姆达操作符」，
      「隐拉姆达操作符」，
      「内联虑操作符」，
      「对子构造操作符」，
      「对子类型操作符」，
      「对子解构操作符」，
      「顺序执行操作符」，
      「字符串拼接操作符」
    】）
也。

「文言优先级关系」乃化「字符串」而化「字符串」而「或可有」于「优先级关系」也。
「文言优先级关系」者会「左名」而会「右名」而
  鉴（「左名」与「右名」）而
    有（『《《外调》》名〇』与『〇传〇』）则（「可有」于「左规约」）
    或有（『〇传〇』与『〇与〇』）则（「可有」于「右规约」）
    或有（『〇传〇』与「其他右」）则（「可有」于「左规约」）
    或有（「其他左」与『〇传〇』）则（「可有」于「右规约」）
    或有（『《《外调》》名〇』与『〇【〇】』）则（「可有」于「左规约」）
    或有（『《《外调》》名〇』与『〇【】』）则（「可有」于「左规约」）
    或有（『〇，〇』与『〇，〇』）则（「可有」于「右规约」）
    或有（『〇，〇』与「其他右」）则（「可有」于「右规约」）
    或有（「其他左」与『〇，〇』）则（「可有」于「左规约」）
    或有（『〇【〇】』与「其他右」）则（「可有」于「左规约」）
    或有（『〇【】』与「其他右」）则（「可有」于「左规约」）
    或有（「其他左」与『〇【〇】』）则（「可有」于「右规约」）
    或有（「其他左」与『〇【】』）则（「可有」于「右规约」）
    或有（『有〇则〇』与『〇或〇』）则（「可有」于「左规约」）
    或有（『若〇则〇否则〇』与『〇或〇』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇于〇』）则（「可有」于「左规约」）
    或有（『〇之〇』与『〇之〇』）则（「可有」于「左规约」）
    或有（『〇之〇』与『〇于〇』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇之〇』）则（「可有」于「右规约」）
    或有（『〇之〇』与『〇附〇』）则（「可有」于「左规约」）
    或有（『〇附〇』与『〇之〇』）则（「可有」于「右规约」）
    或有（『〇之〇』与『〇；〇』）则（「可有」于「左规约」）
    或有（『〇；〇』与『〇之〇』）则（「可有」于「右规约」）
    或有（『〇之〇』与『〇授以〇』）则（「可有」于「左规约」）
    或有（『〇中〇』与『〇中〇』）则（「可有」于「左规约」）
    或有（『〇授以〇』与『〇授以〇』）则（「可有」于「左规约」）
    或有（『〇授以〇』与『〇于〇』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇；〇』）则（「可有」于「左规约」）
    或有（『〇；〇』与『〇；〇』）则（「可有」于「右规约」）
    或有（『〇；〇』与『〇于〇』）则（「可有」于「右规约」）
    或有（『〇也〇』与『〇于〇』）则（「可有」于「右规约」）
    或有（『〇也〇』与『〇与〇』）则（「可有」于「右规约」）
    或有（『〇于〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『〇与〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『〇授以〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『〇中〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『化〇而〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『化〇者□而〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『承〇者□而〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『承□而〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『化〇而〇』与『化〇而〇』）则（「可有」于「右规约」）
    或有（『承□而〇』与『化〇而〇』）则（「可有」于「右规约」）
    或有（『承□而〇』与『承□而〇』）则（「可有」于「右规约」）
    或有（『化〇者□而〇』与『化〇而〇』）则（「可有」于「右规约」）
    或有（『化〇者□而〇』与『承□而〇』）则（「可有」于「右规约」）
    或有（『化〇者□而〇』与『承〇者□而〇』）则（「可有」于「右规约」）
    或有（『承〇者□而〇』与『化〇而〇』）则（「可有」于「右规约」）
    或有（『承〇者□而〇』与『承□而〇』）则（「可有」于「右规约」）
    或有（『承〇者□而〇』与『承〇者□而〇』）则（「可有」于「右规约」）
    或有（『〇合〇』与『〇也〇』）则（「可有」于「左规约」）
    或有（『〇合〇』与『〇者〇也』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇者〇也』）则（「可有」于「左规约」）
    或有（『〇合〇』与『〇于〇』）则（「可有」于「右规约」）
    或有（『〇附〇』与『〇附〇』）则（「可有」于「右规约」）
    或有（『〇与〇』与『〇与〇』）则（「可有」于「右规约」）
    或有（『〇合〇』与『〇合〇』）则（「可有」于「右规约」）
    或有（『〇或〇』与『〇或〇』）则（「可有」于「右规约」）
    或有（『〇于〇』与『〇或〇』）则（「可有」于「左规约」）
    或有（『〇授以〇』与『〇或〇』）则（「可有」于「左规约」）
    或有（『〇与〇』与『〇或〇』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇附〇』）则（「可有」于「右规约」）
    或有（『〇附〇』与『〇于〇』）则（「可有」于「左规约」）
    或有（『〇附〇』与『〇或〇』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇与〇』）则（「可有」于「左规约」）
    或有（『〇与〇』与『〇于〇』）则（「可有」于「右规约」）
    或有（『〇中〇』与『〇于〇』）则（「可有」于「左规约」）
    或有（『〇于〇』与『〇中〇』）则（「可有」于「右规约」）
    或有（『〇中〇』与『〇与〇』）则（「可有」于「左规约」）
    或有「其他」则
      若（「且」于（「非」于（「串相等」于「左名」于『〇也〇』））于（「串相等」于「右名」于『〇也〇』））
      则
        （「可有」于「左规约」）
      否则
        （
          若（「且」于（「非」于（「串开头是它吗」于『〇』于「左名」））于（「串开头是它吗」于『〇』于「右名」））
          则
            （「可有」于「右规约」）
          否则
            「可无」
        ）
也。