豫言编程语言技术文档
此库述豫言之文何以析、验、编而行,及异器互通所必守之约。所载及语言、编译器与运行时,供察语言之行、究其实现、作兼容之器。
规范之界
正文取豫言仓库《独立实现技术规范》,凡九篇,各具汉语、文言,规则之号仍旧。此本据提交 4cdeca1 之实现;其平台布局、限制与兼容之阙,不可径许后版亦然。
语言之行与二进制之形各有所定。源码兼容,察所受所拒及可见之行;ABI 兼容,兼守值布局、调用、符号与 GC 根之约;逐字节复现,又一事也。
技术诸篇
01
总纲
02定兼容之义、实现之界与数据之形。
词法与语法
03察字符、令牌、结合、声明与省文之法。
类型与模块
04成类验类,求隐参,辨名称与模块身份。
执行与编译
05定求值之序,述递归、异常、擦除、闭包与生成。
原生二进制接口
06定值与堆、调用、回收之根、符号与 C 互通之约。
网页汇编接口
07辨 LLVM/WASI 与 WasmGC 之值、调用及宿主之界。
规约关系表
08列操作符结合之约及后备之则。
运行时接口表
09录 C 函数之签名、头文件及实现所在。
基线与实现依据
固所据之本,考源码、ABI 与修文之约。
查阅之则
- 必须、可、禁止,分别定兼容所必守、实现所可择、互通所不许。
- 兼容缺陷,录本基线实有之界,非劝后人从其失。
- 规则之号与两辞原文相应;篇末载原文所出,源码之引皆据定本。
- 可于左侧寻名称、规则之号、关键字及接口符号,如“隐参”“GC”“musttail”。