语法对照表

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