从零开始设计中文编程语言SQL领域演示

　　通过逐步完善一个简单的中文编程语言语法并最后转换为 SQL 语句，演示一种快速搭建中文编程语言原型的方法。
　　达成效果是，如下的中文语句：创建读者表，编号为整数，出生年为文本
　　转换生成 SQL 语句：CREATE TABLE 读者 ( 编号 INTEGER, 出生年 TEXT )
　　文中代码在 Python 3.8 下运行通过，需安装 RPly 木兰定制版 0.8.0。一、中文标识符
　　首先来识别一个标识符——＂读者＂。下面是完整代码。from rply import 分词器母机, 语法分析器母机  分词母机 = 分词器母机() 分词母机.添了(＂标识符＂, r＂读者＂)  分析器母机 = 语法分析器母机([＂标识符＂])  @分析器母机.语法规则(＂句 : 标识符＂) def 句(片段):     return 片段[0].getstr() # 第一个片段的内容  分词器 = 分词母机.产出() 分析器 = 分析器母机.产出()  print(分析器.按语法分词(分词器.分词(＂读者＂)))
　　运行此源码文件可见输出。
　　先简单看下源码，分词母机添加的一条词法规则：标识符可以是＂读者＂。分析器母机添加的一条语法规则：句子只包含一个标识符，而且解析后直接输出它的内容（在 ＂句(片段)＂方法中返回）。
　　最后对＂读者＂这一字符串进行按语法分词，输出的就是＂读者＂。（输出还有一句＂回退次数：0＂，请暂时无视）
　　当然，标识符不止有＂读者＂，于是将词法改为如下正则表达式，允许多个中文字符：分词母机.添了(＂标识符＂, r＂[一-龥]+＂)
　　这样，即使末句改为＂观众＂，也可被识别。二、创建读者表
　　从创建表格开始设计语法，添加些关键词。先来一个＂表＂，希望能解析＂读者表＂后输出表名＂读者＂。
　　添加对应词法规则：分词母机.添了(＂表＂, ＂表＂)
　　记得将它加到语法分析母机的词表中（注：此文后面的部分不再复述此代码，忘加的话就会碰到 ＂KeyError: ＂表＂＂ 这种报错）：分析器母机 = 语法分析器母机([＂表＂, ＂标识符＂])
　　接着把语法规则改为：@分析器母机.语法规则(＂句 : 标识符 表＂)
　　好了，现在对＂读者表＂进行解析，即末句改为：print(分析器.按语法分词(分词器.分词(＂读者表＂)))
　　如期输出了＂读者＂。
　　同理添加＂创建＂，希望解析＂创建读者表＂后暂仍输出＂读者＂。照样添加词法规则（注：此文之后部分不再复述此代码）：分词母机.添了(＂创建＂, ＂创建＂)
　　改语法规则：句 : 创建 标识符 表
　　好，现在解析＂创建读者表＂，但为何输出＂创建＂了呢？
　　细看一下这段：@分析器母机.语法规则(＂句 : 创建 标识符 表＂) def 句(片段):     return 片段[0].getstr()
　　修改语法规则后，现在一＂句＂中有三个片段，＂片段[0]＂现在对应的是＂创建＂，标识符应该是第二个片段，即＂片段[1]＂。修改之后，解析＂创建读者表＂就如期输出＂读者＂。三、单列
　　创建表格时，可以对列进行声明，比如：＂创建读者表，出生年为整数＂。先支持一列。
　　添加＂为＂、＂整数＂两个关键词，并添加中文逗号：分词母机.添了(＂逗号＂, ＂，＂)
　　语法呢？＂创建读者表，出生年为整数＂的第一部分是表声明，后面是逗号，以及列声明。那么就加这条语法规则：建表 : 表声明 逗号 列声明
　　表声明的规则与之前相同：表声明 : 创建 标识符 表
　　列声明的语法就是：列声明 : 标识符 为 整数
　　与表声明类似，＂片段[0].getstr()＂就可从列声明中获得列名。
　　需注意的是，在建表方法中，片段[0] 取得的是表声明的输出值，即标识符名，这里不需再用 getstr()。另可用格式化字符串简化代码如下：def 建表(片段):     return f＂{片段[0]}：{片段[2]}＂
　　解析＂创建读者表，出生年为整数＂后输出：＂读者：出生年＂四、多列
　　表格当然可以有多列。比如：＂创建读者表，编号为整数，出生年为整数＂。
　　原本在表声明后的单一列声明，现在变为了对各列的声明：建表 : 表声明 逗号 各列声明
　　如何描述各列声明的语法规则呢？分情况来看，如果只包含一个列声明，就这样：各列声明 : 列声明
　　如果包含更多呢？可以这样描述，在一个＂各列声明＂后面再加上逗号和一个＂列声明＂，有点递归的意思：各列声明 : 各列声明 逗号 列声明
　　那么如何区分处理这两种情况？看这段，各列声明的两种规则放在一起，用一个方法处理：@分析器母机.语法规则(＂各列声明 : 列声明＂) @分析器母机.语法规则(＂各列声明 : 各列声明 逗号 列声明＂) def 各列声明(片段):     return f＂{片段[0]}＂ if len(片段) == 1 else f＂{片段[0]}，{片段[2]}＂
　　这里通过判断片段的个数来区分，还有其他方法比如判断某词的类型。
　　至此解析＂创建读者表，编号为整数，出生年为整数＂后输出：＂读者：编号，出生年＂五、多种数据类型
　　除了整数，还可以有其他的列类型，比如文本。这也方便，与＂整数＂类似，添加＂文本＂一词后，添加如下语法：列类型 : 整数 | 文本
　　这与上面的＂各列声明＂分两行效果相同，是同一语法元素的多种并列规则。
　　再把原本的列声明改为：列声明 : 标识符 为 列类型
　　列声明的输出加上列类型后，解析＂创建读者表，编号为整数，出生年为文本＂后输出：＂读者：编号-整数，出生年-文本＂六、转换为SQL
　　至此，各语法元素看起来解析无误，那么各语法规则已定，这部分仅对处理方法的返回值作了修改。
　　举几个例子，列类型应该返回 INTEGER 或者 TEXT：return ＂INTEGER＂ if 片段[0].getstr()==＂整数＂ else ＂TEXT＂
　　表声明部分：return f＂CREATE TABLE {片段[1].getstr()}＂
　　建表时将各列声明置于 () 中：return f＂{片段[0]} ( {片段[2]} )＂
　　另几处就请自行尝试吧。完整源码
　　此文的完整代码约四十行，开源在此。如想继续完善创建表、记录以及其他查询、删除等语法，此测试用例 供参考。如有任何问题欢迎在源码库反馈。
　　注：本文中语言的设计是在搭建原型之前就有了草稿，见 此楼。此设计尚未经过实践检验，欢迎指摘。