豫豫言文档API ATLAS
入口包说明.html
326 模块3507 名称
← 全部模块

模块 / 150

编译步骤/优化/跨文件优化/常量内联。豫

编译步骤/优化/跨文件优化/常量内联。豫

21公开名称

去无用递归壳

公开
化「表达式」而「表达式」

文言:只录小函与别名,勿载诸卷巨树。汉语:内联索引只保存受限的小型封装和文件别名,避免为每次引用加载整个依赖模块。

薄函体

公开
化「表达式」而「爻」

暂无说明。

直线小函

公开
化「表达式」而「爻」

文言:小工直行者可展,递归分支者勿入。汉语:允许有顺序 let 和调用的小型直线函数进入内联索引;限制结构及大小,避免递归展开和大函数复制。实际应用仍由原有 beta 变换维持求值次序。

至少二参小函

公开
化「表达式」而「爻」

文言:新增之展,唯取连参。汉语:扩大内联只针对至少两层参数,集中消除部分应用闭包;单参数函数保留原策略,避免无此收益却改变递归树的引擎优化形态。

数组构造薄函

公开
化「表达式」而「爻」

文言:造组薄壳虽独参,常数之虑可随展。汉语:只放宽最终直接构造数组、前置 let 仅绑定整数字面量的薄封装,使局部数组分析看见分配点;不扩大一般单参数函数内联。

内联候选去壳

公开
化「表达式」而「表达式」

文言:工留本卷,只录其门。汉语:静态函数声明保留在定义模块;索引只提取无捕获包装,供调用者消除逐参数应用,不复制递归函数体。

静态单参转交

公开
化「表达式」而「爻」

文言:独参原样授静工者,展其门而不展其体。汉语:只内联单参数、无捕获、无前置操作的静态转交包装;实参恰好是唯一绑定参数,不扩展一般单参数内联,不复制递归体。

原语内联候选

公开
化(「列」于(「字符串」合「爻」合「表达式」))而(「列」于(「字符串」合「爻」合「表达式」))

暂无说明。

查原语候选

公开
化(「列」于(「字符串」合「爻」合「表达式」))而化「字符串」而(「或可有」于「表达式」)

暂无说明。

本卷内联路径

公开
(「引用类」于「字符串」)

暂无说明。

本卷内联候选

公开
(「引用类」于(「列」于(「字符串」合「爻」合「表达式」)))

暂无说明。

读取内联候选

公开
化「字符串」而化「字符串」而(「或可有」于「表达式」)

文言:前工既成,后工可用,唯记于内存。汉语:同一模块逐定义发布优化后的候选,不重复写磁盘;按文件路径隔离,避免局部同名变量被误当成全局定义。

展开原语引用

公开
化「整数」而化「字符串」而化「表达式」而「表达式」

暂无说明。

参数表达式可以被安全替换

公开
化「表达式」而「爻」

暂无说明。

进行定义内联

公开
化化「整数」而化(「列」于「条目」)而化「表达式」而「表达式」而化「整数」而化(「列」于「条目」)而化「表达式」而化(「列」于「表达式」)而「表达式」

获取函数定义,但检查复杂度,如果复杂度过高,则返回原来定义 条件获取函数定义乃化命名环境而化表达式而表达式也。 条件获取函数定义者会境而会函而 虑原定义者命名环境读取具体定义式于境于函而 (若(计算表达式复杂度于函)大于(读引用于「优化内联复杂度」) 则( 虑无者编译调试打印行于『fun_inline_get_def』于(会无而『失败【复杂度】获取定义 』附(表达式表示于函)附『,原定义:』附(表达式表示于原定义)附『 , 环境:』附(命名环境表示于境))而 函 ) 否则( 虑无者编译调试打印行于『fun_inline_get_def』于(会无而『成功【复杂度】获取定义 』附(表达式表示于函)附『,原定义:』附(表达式表示于原定义)附『 , 环境:』附(命名环境表示于境))而 (鉴原定义而 有(式节点于待定节点于【】)则函 或有「其他」则(原定义) ) ))也。

检查内联条件

公开
化「表达式」而「爻」

暂无说明。

当前结构引用

公开
「元类型」

暂无说明。

内联文件引用结构

公开
化(「字符串」合「表达式」)而化化「表达式」而「表达式」而化「整数」而化「字符串」而化「表达式」而「表达式」

暂无说明。

常量内联

公开
化(「字符串」合「表达式」)而化「整数」而化(「列」于「条目」)而化「表达式」而「表达式」

暂无说明。

常量内联带环境顶层

公开
化「字符串」而化(「列」于「条目」)而化「表达式」而「表达式」

暂无说明。

常量内联顶层

公开
化「字符串」而化「表达式」而「表达式」

暂无说明。