编译步骤/类型标注擦除/当前续延调用转换。豫
yuyan · 37 行 · 1894 字节 · UTF-8
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
。
寻观「编译器核心」之「编译数据」之「编译配置」之「编译期输出」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译过程工具」之书。
寻观「编译器核心」之「顺序标识符」之「顺序标识符」之书。
「当前续延调用转换」乃化「表达式」而「表达式」也。
「当前续延调用转换」者会「式」而
虑「递归」者「当前续延调用转换」而
鉴「式」而
有(「式节点」于(「续延调用节点」)于((「列」【「续参」】)))则((「式节点」
于(「续延调用节点」)
于((「列」【
(「构造抽象」
于
『续延参数名』于(会「当前续延」而
「递归」于(「式替换」
于(「式节点」
于(「拉姆达抽象」于(「多参数形」于「一」))
于((「列」【
(「构造抽象」
于
『提前返回结果』于(会「提前返回结果」而
「式节点」
于(「续延调用返回节点」)
于((「列」【(「自由变量」于「当前续延」),(「自由变量」于「提前返回结果」)】))))
】)))
于「续参」)))
】)
))
)
或有「其他」则(「表达式统一操作」于「递归」于「式」)
也。