豫言 / 底层库 @ 0.1.0
底层(无垃圾回收)编译模式的基础库:整数运算、内存读写、可变格、静态串与声明。
包说明.汉语.md
# 底层库 底层(无垃圾回收)编译模式的基础库:整数运算、内存读写、可变格、静态串与声明。包描述声明 `「编译模式」者『底层』也。`,因此只能被底层包依赖,且本身不依赖任何包(尤其不依赖标准库)。 ## 包身份 所有者:豫言。包版本:0.1.0。库类型,无程序入口。 ## 使用 在底层包的 `依赖` 里加入 `『底层库』`,源文件首行 `寻观「底层库」之书。` 即得全部原语: - `基础`:`整数`、`爻`、`有` 等类型别名;`加`、`减`、`乘`、有符号与无符号的除与余、位运算、移位、比较、`非`、`且`、`或者`、`选择`、`陷阱`。 - `内存`:`读四`、`读二`、`读一` 及有符号读;`写四`、`写二`、`写一`;`内存页数`、`内存增长`、`内存复制`、`内存填充`;`声明内存`、`声明数据区`、`静态串`。 - `格`:`新格`、`读格`、`写格`(可变局部变量)。 每个原语只是对外部调用名(`底层_加` 等)的包装,编译器把它们内联并映射到 Wasm 指令;语言约定与限制见 `应用/豫言编译器/文档/底层模式.汉语.md`。 ## 维护 新增原语时同步更新底层后端的原语表(`库/编译器核心/编译步骤/代码生成/底层后端`)。
包说明.文言.md
# 底层库 底层(不用垃圾回收)编译模式之基础库:整数之算、内存之读写、可变之格、静态串与声明。包描述声明 `「编译模式」者『底层』也。`,故唯底层之包可依之,而此库不依任何包(尤不依标准库)。 ## 包之身份 所有者:豫言。版本:0.1.0。库类,无程序入口。 ## 用法 于底层包之 `依赖` 列 `『底层库』`,源文首行书 `寻观「底层库」之书。`,则得诸原语: - `基础`:`整数`、`爻`、`有` 等类型别名;`加`、`减`、`乘`、有符无符之除与余、位运算、移位、比较、`非`、`且`、`或者`、`选择`、`陷阱`。 - `内存`:`读四`、`读二`、`读一` 及其有符者;`写四`、`写二`、`写一`;`内存页数`、`内存增长`、`内存复制`、`内存填充`;`声明内存`、`声明数据区`、`静态串`。 - `格`:`新格`、`读格`、`写格`(可变之局部变量)。 诸原语皆外部调用名(`底层_加` 等)之包装,编译器内联之而映于 Wasm 指令;语言之约与限见 `应用/豫言编译器/文档/底层模式.文言.md`。 ## 维护 增原语则同更底层后端之原语表(`库/编译器核心/编译步骤/代码生成/底层后端`)。