| 文言语法 | 现代汉语语法 | 解释 |
|---|---|---|
| 〇乃〇也 | 〇的类型是〇 | 声明一个名称的类型，不透明 |
| 〇号〇也 | 〇的类型可以是〇 | 声明一个名称的类型，透明 |
| 〇者〇也 | 〇的定义是〇 | 定义一个名称，不透明 |
| 〇即〇也 | 〇其实就是〇 | 定义一个名称，透明 |
| 〇立〇也 | 〇是一种〇 | 声明构造器的类型 |
| 术〇交[左右无]序[任意]也 | 函数〇结合性〇序〇 | 声明操作符的结合性与优先级 |
| 观〇之书 | 打开〇 | 打开一个结构 |
| 寻〇之书 | 导入〇 | 导入一个结构 |
| 寻观〇之书 | 导入并打开〇 | 导入并打开一个结构 |
| 诵〇之书 | 导出〇 | 导出一个结构中的所有名称 |
| ------------- | ------------- | ---------- |
| 〇合〇 | 〇结合〇 | 构造一个对子类型 |
| 化〇者〇而〇 | 从〇的〇到〇 | 构造依赖函数类型，显式参数 |
| 化〇而〇 | 从〇到〇 | 构造普通函数类型，显式参数 |
| 承〇者〇而〇 | 自〇的〇到〇 | 构造依赖函数类型，隐式参数 |
| 承〇而〇 | 自〇到〇 | 构造依赖函数类型，隐式参数，省略定义域类型类型 |
| ------------- | ------------- | ------ |
| 〇之〇 | 〇中的〇 | 结构投影 |
| 〇中〇 | 〇中的第〇个 | 对子类型投影 |
| 〇授以〇 | 〇给予〇 | 隐式函数调用 |
| 〇于〇 | 〇使用于〇 | 函数调用，隐式参数 |
| 〇与〇 | 〇连结〇 | 构造一个对子 |
| 若〇则〇否则〇 | 如果〇那么〇否则〇 | 条件判断 |
| 鉴〇而〇 | 分析〇随后〇 | 模式匹配开头，第二个参数式模式匹配分支或其组合 |
| 〇或〇 | 〇或者〇 | 组合模式匹配分支 |
| 有〇而〇 | 如果是〇那么〇 | 模式匹配分支 |
| 〇；〇 | - | 顺序执行 |
| 《《C调用》》名〇传〇 | 《《C调用》》函数名是〇参数是〇 | 调用C函数 |
| 虑〇者〇而〇 | 让〇为〇随后〇 | 局部绑定，第一个参数是名字，第二个参数是绑定的值 |
| 虑〇 | 执行如下计算〇 | 执行一个模块的计算 |
| 会〇而〇 | 遇到了〇随后〇 | 构造显式函数 |
| 遇〇者〇而〇 | 遇到了〇的〇随后〇 | 构造带类型的显式函数 |
| 受〇而〇 | 得到了〇随后〇 | 构造隐式函数 |
| 〇也〇 | 类型为〇的〇 | 类型判断 |
| 〇其实〇 | 〇实际上是〇 | 有单一值的类型 |