豫言编程语言技术文档
本知识库说明豫言程序如何被解析、检查、编译和执行，以及不同实现之间必须遵守的接口约定。规则覆盖源语言、编译器和运行时，适用于查阅语言行为、理解实现或编写兼容工具。
规范范围
正文采用豫言仓库的《独立实现技术规范》，共九篇，每篇提供汉语与文言版本，并保留原有规则编号。本版规范描述提交 4cdeca1 的实现基线；不能将其中的平台布局、限制或兼容缺陷自动视为后续版本的承诺。
语言行为与二进制表示分开定义：源码兼容关注程序的接受边界和可观察行为；ABI 兼容还要求值布局、调用协议、符号及 GC 根管理一致；逐字节复现是另一项要求。
技术章节
01
总纲
02兼容目标、实现边界与基本数据模型。
词法与语法
03字符与令牌、操作符结合、声明和语法糖。
类型与模块
04类型形成、双向检查、隐参、名称解析与模块身份。
执行与编译
05求值次序、递归、异常、擦除、闭包与代码生成。
原生二进制接口
06值与堆布局、调用约定、GC 根、链接符号与 C 互操作。
网页汇编接口
07LLVM/WASI 与 WasmGC 的值表示、调用和宿主边界。
规约关系表
08操作符的显式结合关系与后备规则。
运行时接口表
09C 函数签名、运行时头文件与实现位置。
基线与实现依据
固定提交、源码依据、ABI 核验与维护约束。
查阅约定
- 必须、可、禁止分别表示兼容要求、实现自由和不允许的互操作输入。
- 兼容缺陷记录基线实现的实际边界，不表示推荐的语言设计。
- 章节中的规则编号与双语原文对应；页面末尾提供原文来源，源码引用固定到规范基线。
- 使用左侧搜索查找名称、规则编号、关键字或接口符号，例如“隐参”“GC”“musttail”。