文件后缀

豫言以文缀别文之类。源文皆以全角句号加“豫”字终（。豫），模块名与类段之间亦以全角句号隔之，如 字节串。豫、宿主。接口。豫、逐元。底层。测试。豫。缀定四事：文中可书者何，无体之声谁供之，依何模编之，导时得何模。此篇依今之仓列诸缀，各附仓中一例：缀一言源文，缀二言导时寻文之序，缀三言文书、试料、构建所出诸他文。诸子语言共守之则及其相配之道，见子语言设计。

诸条以“缀”编号。

缀一：源文

导之路惟书模块名，类段由编译器依缀二补之。如 寻观「豫章」之「形制」之「帛书」之书。，所得之文为 库/豫章/形制/帛书。豫。

高级之源

高级之源有垃圾回收，编为 WasmGC 之模。

着色之文

着色之文以豫言常法书图形处理器之着色程序，详见着色语言。

设计之言

设计之言（提案〇〇〇一八）之作品以构造之书书于设计之源，由引擎之库「设计」求值而渲之。

底层之文

名含“。底层”者为底层之文：无垃圾回收，编为整数 Wasm，用于执行器、驱动、张量内核诸系统之代。语言之子集与后端，见 应用/豫言编译器/文档/底层模式.文言.md。

包述

数据之文

数据之文（数据子语言，提案〇〇〇二八）藏静数。

• 检类分二步：检前察其书法，值中之函、算与余呼，及以 即、立 定义者，皆报错而明其故；检后察构造之首与独书之名为值之构造器。字段之名、类与必填，由构造之书降级依首之签检之（标签函数类型签七），字段之名误书则报“构造「头」没有属性「名」”。
• 「列」【…】 径用内建之列构，数据之文不必导标准库；签名书「列」「文」等类名者，导标准库。
• 独检一数据之文：豫构 类型检查 <包> <模块段…>，如 豫构 类型检查 软件目录 测试 样例。
• 运行时所下所读之数据之文，库「数据文件」惟析其词与语法以读书之；工具与 CI 相授之清单、软件目录（如包仓库之 /豫/社区/软件/豫言-兼容六十四。数据。豫）与工具链钉皆书为数据之文。
• 「典」【…】 惟供库「数据文件」于运行时读之；编与导之时，「典」之类留待后续之版，数据之文书「典」则报错。

约定之文名

• 入口。豫：可执行之包常用之入口模名，包述之「类型」书 「入口」者『入口』也；其定入口之函「入口」（类 化「有」而「有」），包述可以「入口函数」别指一名。底层可执行之包，其入口之文曰 入口。底层。豫。

兼容之入，亦受以 .yuyan 终之源文之径。

缀二：寻模

导之路末段为模块名。编译器依导者之类，于模块名后依次补下列诸缀，取首存之文：

• 导之路唯书包名（或止于子）者，先依库包述「类型」中之「默认导入」展为若干目，每目再依导者之类补上表之缀（见豫构包系统“默认导入”）。
• 诸项皆无则报“包内模块不存在”。高级之文所导之模唯有底层之文，则报错附“这是底层模块，高级代码不能导入”；底层之文寻模不得，则报错列其可导之三缀。
• 包之入口与 豫构 文件 所指之文，高级、底层皆可，所求之序为表中高级、底层二行相接。数据之文可为检类之入口；构程之时以之为入口则报错。
• 试与脚本以全名导之（末段书 名。测试、名。脚本）：试惟试与脚本可导，常模导试则报“普通模块不能导入测试”；脚本不可导，导之则报“脚本不能被导入”。
• 程序之模视其入口之文：入口为底层之文，则全程行底层之管；余者行高级之管，编为 WasmGC。

如 豫言操作系统/裸机/原生样例/你好/入口。底层。豫 为底层之文，其二导曰：

寻观「磐石」之书。
寻「原生你好」之「林纳」之书。

前者依底层库之默认导入，展为 基、仓廪、格、址算 四底层之模（如 库/底层库/基。底层。豫），后者取同包之 林纳。底层接口。豫。

缀三：他文

文名除半角点外皆汉字者，其缀一以全角句号隔之；英文之缀（.md、.html、.wasm 等）以半角点接之。以半角点接汉字之缀者，旧名也，仓中已尽改以全角句号（汇编树码已改为 。树码，工具链亦识旧名 .树码）；CI 之 formatting check 于 Git 所录之文、名除半角点外皆汉字者书警，于本机以 ./格式检查。林檎。豫行 --文件名 列之。

文书

试料

构建所出与缓存

豫言系统造盘