豫言语言语法规范

本文述当前编译器源码所用之核心语法。

文件

豫言源文件通常用 .yuyan 或 。豫 后缀。一文件为一组声明，声明之间以中文句号 。 分隔。多数声明自身以 也 收束，故常见结尾为 也。

空白与换行，主要用于排版。表达式须明确分组时，用全角圆括号 （...）。

词法

标识符用书名号式引号：

「数」
「表达式」
「进行类型检查」

函数名、类型名、构造器名、模块名与绑定名，皆循此规。数字字面量今亦用同一对引号，由编译器于名称解析之前识别。

字符串用 『』：

『你好』
『可以包含中文标点。』

注释用 「：...：」，可独行，亦可夹于类型或表达式之旁：

「：这里是注释：」

整数与小数字面量书于 「」 中，可用汉字数字或阿拉伯数字，以 点 或 . 分小数之部：

「零」
「一」
「一二三」
「三点一四」
「123」
「3.14」

此诸文于词法阶段与普通标识符同形，随后方转为数字节点；裸书之 一 或 3.14，不可为数字表达式。

导入

模块路径以 之 串联，每段为一标识符：首段为包名，其后为子包名或包内模块之径。

寻「豫章」之书。
观「豫章」之书。
寻观「豫章」之「算术」之「抽签」之书。

寻 导入模块，并以路径末段立一静态之命名空间；观 纳已导模块之名于未限定查找，故示例次行必接于首行 寻 之后；寻观 则导入而兼打开。

路径止于包名（如示例前二行）者，依该库包之述于「类型」中所书「默认导入」而展：其为模块之列，寻观「豫章」之书。 依次开列中诸模，并以 豫章 为诸模之命名空间；寻「豫章」之书。 惟绑命名空间，「豫章」之「加」 于诸模中逐一求之。标准库之默认导入，所列者常用之前置诸模（内建类型、列表、字符串、整数运算、打印等），余标准库之模则书全径而导，如示例第三行。字段之书法，见豫构包系统“默认导入”。

声明

类型声明：

「翻倍」乃化「数」为「数」者也。

定义声明：

「翻倍」者得「其数」而
　「其数」加「其数」
也。

普通定义可先以 乃 声明类型，再紧接一同名之 者 定义。类型定义用 即，默认于类型检查时展开，无须另标：

「别名」即「数」也。

构造器声明用 立：

「选项」立化「类」为「类」者也。
　「可无」立凡「甲」而「选项」于「甲」者也。
　「可有」立凡「甲」而化「甲」为「选项」于「甲」者也。

试（。测试。豫）与本（。脚本。豫）之顶层，可直书表达式，依次行之；常篇之顶层惟置编译时可定之义，可行之程序始于入口之函「入口」：

「书」于『完成』。

类型

显式函数类型：

化「数」为「文」

带名之类型参数：

凡「甲」而化「甲」为「甲」。

当前编译器惟许此类参数之定义域为 「类」；赖普通运行时值之函数类型，尚不支持。

隐式函数类型：

凡「甲」而「甲」
凡「甲」而化「甲」为「甲」

类型函数亦以 于 应用：

「或可有」于「数」

对子或元组类型用 合；列类型以类型构造器 「列」 表之：

「文」合「数」
「列」于「表达式」

类型标注表达式用 也，类型书于左，被标注之表达式书于右：

（「数」也「值」）

表达式

标识符表达式，即一带引号之名：

「翻倍」

显式函数调用用 于，多参数调用连书：

「翻倍」于「一二」
「加」于「一」于「二」

隐式参数调用用 以：

「听」以「数」于「引用」。

显式函数用 会...而...：

得「其数」而「其数」加「其数」。

带参数类型之函数用 遇...者...而...：

得「其数」属「数」而「其数」加「其数」。

隐式函数用 受...而...：

设「甲」而得「物」而「物」。

局部绑定用 虑...者...而...：

令「结果」为「一」加「二」而
「述数」于「结果」。

表达式级递归绑定用 复令...属...即...而...。属 后书递归值之类型，即 后书递归值之定义，末 而 后书用此递归值之表达式：

复令「求零」属化「数」为「数」
　即得「其数」而
　　若「其数」等于「零」则「零」否则（「求零」于（「其数」减「一」））而
「求零」于「三」。

复令 宜于表达式内构局部递归函数或递归值。绑定名于定义体与后续表达式中皆可见。编译器先降之为显式递归单元，再行闭包转换，故递归函数可安全捕获自身。

顶层定义于其类型声明之后，可直引自身，无须旧式 循...以...。如标准库中列长度函数可书为：

「计」乃凡「甲」而化（「列」于「甲」）为「数」者也。
「计」者设「甲」而得「列值」而
　鉴「列值」而
　　或有「罄」则「零」
　　或有「缀」于「头」于「尾」则「一」加（「计」以「甲」于「尾」）
也。

条件表达式：

若「条件」则「真值」否则「假值」

顺序执行用 ；：

（「写匣」于「引用」于「值」而后「本读匣」于「引用」）

模块或结构投影用 之，左为 寻 所立之命名空间（如上文所导之 抽签），右为其中之名：

「抽签」之「抽数」

对子或元组投影用 中：

「对子」中「零」
「三元组」中「二」

数据构造

对子值用 与：

「名字」与「类型」

列值用标准库构造器 「罄」 与 「缀」：

「罄」
「缀」于「头」于「尾」
「缀」于「甲」于（「缀」于「乙」于（「缀」于「丙」于「罄」））

当前编译器不支持于括号中内联声明结构；模块结构由源文件及导入、打开二操作组成。

模式匹配

模式匹配用 鉴...而...。首分支用 有，后续分支用 或有：

鉴「可」而
    或有（「可有」于「物」）则「物」
    或有「可无」则「默认」也

空参构造器或绑定名，直书于 有、或有 之后，不另加括号：

或有「可无」则「默认」

带参数构造器模式用普通应用形式：

或有（「可有」于「物」）则「物」

列模式用同构器，匹配空列或头尾：

或有「罄」则「零」
或有「缀」于「头」于「尾」则「加」于「一」于（「计」于「尾」）

对子模式用 与：

或有（「左」与「右」）则「左」

宿主与内建之能

宿主之函声于 。接口。豫 为带型导入，源码依常式调用而传参。编译器内建之原语声于 。内建。豫，编器依其签校验并生其实。

完整示例

寻观「豫章」之书。

「取默认」乃凡「甲」而化（「或可有」于「甲」）又化「甲」为「甲」者也。
「取默认」者设「甲」而得「可」又得「默认」而
　鉴「可」而
　　或有（「可有」于「物」）则「物」
　　或有「可无」则「默认」
也。

「翻倍」乃化「数」为「数」者也。
「翻倍」者得「其数」而
　「其数」加「其数」
也。