Merge pull request #61 from yuyan-lang/continue_to_compilation

添加综述

docs/README.md

@@ -5,6 +5,20 @@
 [网站](https://yuyan-lang.github.io/yuyan)
 [语言手册](教程/combined_tutorial.pdf)
 
+## 综述
+
+本科研性质的项目旨在解决如下问题：
+
+1. 一个中文编程语言可以以何种形式存在？
+2. 编程中概念应当如何用符合中文语境的概念表达？
+3. 中文语法语义从何种程度上可以帮助程序的撰写？
+4. 编程语言在全中文环境下会遇到哪些技术问题，它们应该被如何解决？
+5. 中文的概念和表达又会给编程语言本身带来何种新的发展？
+
+作者相信，编程语言的设计本身并非完全是一个科学问题，更是一个艺术问题。
+本项目若可以为朋友们提供一些设计中文编程语言技术与艺术方面的思路，
+我们也就实现了本项目的初衷。感谢大家的一路支持与陪伴！
+
 ## 安装
 
 若要快速编译最新版，请参见[`快速编译`](快速编译.md)

豫言编译器/编译数据/抽象绑定树结构/抽象语法树/抽象语法友好表示方法。豫

@@ -19,6 +19,10 @@
            （换行于缩进）附
            （名附『者』附『「』附（换行于缩进加二）附（递归于缩进加二于类）附『。「：换行：」』
             附（递归于缩进于（式替换于（自由变量于名）于尾式）））
+        或有式节点于（正则签名节点于（名））于（（类）衔（「尾式」）衔【】）则
+           （换行于缩进）附
+           （名附『乃』附『「』附（换行于缩进加二）附（递归于缩进加二于类）附『。「：换行：」』
+            附（递归于缩进于尾式））
         或有式节点于（结构节点于（可无））于（（式节点于（操作符声明节点于名于结）于【】）衔（「尾式」）衔【】）则
            （换行于缩进）附
            （『术』附名附『者』附『。。。』

豫言编译器/编译步骤/求值正则变换/无类型正则变换。豫

@@ -13,7 +13,6 @@
 
 
 
-「： 占位类者（式节点于近似类型占位节点于【】）也。 ：」
 
 
 创建合并点乃化（化字符串而表达式）「：继续，合并点后操作，参数是合并点前后续计算结果名：」而
@@ -37,6 +36,14 @@
         ）也。
 
 
+「： 不使用函数会更快
+创建合并点乃化（化字符串而表达式）「：继续，合并点后操作，参数是合并点前后续计算结果名：」而
+    化（化（化字符串而表达式）而表达式）「：后续，合并点前操作：」而表达式也。
+创建合并点者会继续而会后续而
+     （
+        后续于继续
+        ）也。 ：」
+
 
 求值正则变换乃化表达式「：变换式本身：」而化
     （化字符串「：当前变换的式的结果必须存于此变量中：」而表达式）