豫言编程语言技术文档
此库述豫言之文何以析、验、编而行，及异器互通所必守之约。所载及语言、编译器与运行时，供察语言之行、究其实现、作兼容之器。
规范之界
正文取豫言仓库《独立实现技术规范》，凡八篇，各具汉语、文言，规则之号仍旧。此本据提交 4cdeca1 之实现；其平台布局、限制与兼容之阙，不可径许后版亦然。
语言之行与模块之约各有所定。源码兼容，察所受所拒及可见之行；ABI 兼容，兼守值之表示、调用、导入导出、身份与回收之约；逐字节复现，又一事也。
技术诸篇
01
总纲
02定兼容之义、实现之界与数据之形。
子语言设计
03诸子语言共守之则：一法之语、缀定其类、以无体之声相接、执行之界唯一；及其于一程序中相配之道。
词法与语法
04察字符、令牌、结合、声明与省文之法。
雅言文体
05豫言源文之书法：诸构之书、析之约、印之则与核。
类型与模块
06成类验类，求隐参，辨名称与模块身份。
标签函数类型
07成标签函数之类，述其调用与义。
依值类型
08类依整数、爻、字符串及其列之值：书法、隐值之参与依值之配。
整数类型索引
09整数定义域之类型构造器参、索引式之形与闭合整数索引之较。
爻类型索引
010爻定义域之类型构造器参、字面运算之约与闭合索引之较。
字符串类型索引
011字符串定义域之类型构造器参、拼接之规范形与闭合索引之较。
列表类型索引
012列表定义域之合法之验、闭合元素之规范值与附加之较。
执行与编译
013定求值之序，述递归、异常、擦除、闭包与生成。
网页汇编接口
014定 WasmGC 之值、调用、模块、异常与宿主引用桥之约。
规约关系表
015列操作符结合之约及后备之则。
文件后缀
016源文、文书、试料与构建所出之诸缀，各附其例；导时寻文之序。
基线与实现依据
017固所据之本，考源码、ABI 与修文之约。
着色语言
以豫言常法书图形处理器之着色程序，检类而后译为 WGSL、MSL 与 PTX。
查阅之则
- 必须、可、禁止，分别定兼容所必守、实现所可择、互通所不许。
- 兼容缺陷，录本基线实有之界，非劝后人从其失。
- 规则之号与两辞原文相应；篇末载原文所出，源码之引皆据定本。
- 可于左侧寻名称、规则之号、关键字及接口符号，如“隐参”“GC”“i31”。
学篇与技术之文各存。欲学书程序，阅教程；欲察某包公开接口及版本，阅包管理器。代码与文书中外来术语之汉名（如诺驿、结森）及其所由，见译名；以文缀相别之诸子语言，见子语言；林纳常用之命于豫言壳中之书法，见林纳命令对照。