雅言文体

雅言是豫言源码的写法（提案 00026、00027，含提案 00024 的首支或有），编译器、格式化器与各工具都按雅言解析与打印。解析先得具体语法树，展开与其后各阶段见词法与语法。

一、写法

导入、定义 「名」者值也、类型别名 「名」即类也、条件 若……则……否则……、调用的 于、且、或、与、合、中、之、列、组值、组类、构造写法、注释、数字、卦码 卦曰「名」（见词法与语法词三）与字符串的写法见词法与语法。

第二个起的参数以“又X”接：类型里 又化、又凡，匿名函数里 又得、又设，类型实参 又以。“又X”与对应的“为”“而”写法同义，只是右边须是同类的构造：化「甲」又化「乙」为「丙」 与 化「甲」为化「乙」为「丙」 是同一棵树，打印时一律写前者。

签名与构造器加不加“者”，只看类型的开头一字：以化、凡开头（函数类型或隐式参数类型，不在括号里）时以“者也”收，否则以“也”收；收错了报错。组类里的项同此。

算术与比较的中缀是前缀调用的简写：「甲」加「乙」 就是 「加」于「甲」于「乙」，按作用域找名字「加」，只看外形，不看类型；非「甲」 就是 「非」于「甲」。限定名（如 「分厘」之「加」）照旧写前缀调用。

解析器由操作符表驱动（移位规约，见词法与语法），操作符表是雅言符集（库/章句/译料/算符/本算符/雅言符集。豫）加上内建符，规约关系见规约关系表。几条额外的约束：

依值参数与类型标注。 化「长」属「数」为…… 读作依值参数。化、曰之后的类型若是没有括号的类型标注，这一种读法作废；要以类型标注作定义域，写在括号里：化（「甲」属「乙」）为……。
“又X”的约束。 化〇又〇、凡〇又〇、得〇又〇、设〇又〇 的右项（去掉注释后）须是同类的构造，〇又以〇 的左项须是以类型实参结尾的调用，否则这一种读法作废。
者也。 签名与构造器的类型以化、凡开头时须写“者也”，否则须写“也”，写错即报错。
可省参数必须带标签。 化类可阙为…… 报错，提示写作 化「标签」曰类可阙为……。

表在造表时就把各类关键词算好并拆成字（库/章句/译料/算符/操作符表。豫）。解析同时产出语义标记：乃、立、者也等为结构操作符，化、为、又、凡、曰、属、以等为类型操作符，得、而、令、复令、设、鉴、或有、若等为控制操作符，语言服务的着色与悬停据此显示。

打印器在 库/章句/分职/文体/雅言/，一个式能平铺进当前行就平铺，放不下按形状分行，括号原样印出，需要而原树没有的括号由打印器补上。几条写法上的规则：

调用 「加」 等恰有两个不带标签的显式实参、头上没有注释时印成中缀；调用 「非」 恰有一个时印成前缀 非。
函数类型链分行时每节一行，第二节起以 又 开头，最后一行以 为 开头；签名的“者也”紧接在链的最后一行之后。隐式参数之后接别的类型时，而 留在行尾。
匿名函数的开头放不下一行时每个开头一行，同类相接的以 又 开头；而 一律留在行尾，函数体另起一行。局部名、局部递归的值之后的 而 也留在值的末行之尾。
局部递归的值是匿名函数时，即 另起一行深一层，函数体再深一层。
而后 连接的式各占一行，而后 留在行尾。
括号里单独写出的分支串（解析成没有对象、只含分支的模式匹配节点，或单是一支）每支一行，不写 鉴 与对象。