support strong type : "-st"

Author: magiclu550

.idea/compiler.xml

@@ -33,151 +33,6 @@ final Map<Language,Map<String,String>> libs = [
 7. 关于项目开启的原因可以参见 [#411](https://github.com/LingDong-/wenyan-lang/issues/411)
 8. 本项目的目标语言是groovy,以实现动态语言，主要是为了实现`wenyan`可以调用java相关类库(并尽量确保js版本的wy文件)，以实现在虚拟机运行。
 9. 对于文渊阁的支持，只需要在项目的src执行wyg i 名称即可。编译器提供了相关参数实现文渊阁的编译
-10. 
-
-> 对于部分不兼容的特性
-
-PS: 由于一些代码按照js特性去实现的，很多特性我都是通过语法糖暴力实现。但这些我确实无力去实现了
-
-1. 对于函数调用，如果是闭包函数，请先`吾有一術。名之曰「xx」。`定义，这样才能确保前面的函数调用后面实现的函数
-
-```wenyan
-今有一術。名之曰「包渾沌」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
-	吾有一言。曰「「　」」名之曰「挪符」。
-	吾有一言。曰「「\n」」名之曰「抬符」。
-	吾有一術。名之曰「包數」。
-	吾有一術。名之曰「暗包渾沌」。
-	吾有一術。名之曰「包列」。
-	吾有一術。名之曰「包物」。
-	吾有一術。名之曰「包數」。欲行是術。必先得一數曰「甲」。乃行是術曰。
-		吾有一言。名之曰「正負」。
-		若「甲」小於零者。
-			乘「甲」以負一。昔之「甲」者。今其是矣。
-			昔之「正負」者。今「「負」」是矣。
-		云云。
-		除「甲」以一。所餘幾何。名之曰「小數」
-		減「小數」於「甲」。名之曰「整數」。
-		吾有二言。名之曰「小」曰「整」。
-		恆為是。若「整數」不大於零者乃止也。
-			除「整數」以十。所餘幾何。名之曰「位」。
-			加「位」以一。夫「位名」之其。加其以「整」。昔之「整」者。今其是矣。
-			減「整數」以「位」。除其以十。昔之「整數」者。今其是矣。
-		云云。
-		恆為是。若「小數」不大於零者乃止也。
-			乘「小數」以十。昔之「小數」者。今其是矣。
-			除「小數」以一。所餘幾何。名之曰「位」。
-			加「位」以一。夫「位名」之其。加其於「小」。昔之「小」者。今其是矣。
-			減「小數」以「位」。昔之「小數」者。今其是矣。
-		云云。
-		加「正負」以「整」。昔之「整」者。今其是矣。
-		夫「小」之長。若其然者。
-			加「整」以「「·」」。加其以「小」。乃得矣。
-		云云。
-		乃得「整」。
-	是謂「包數」之術也。
-
-	吾有一術。名之曰「暗包渾沌」。欲行是術。必先得一言曰「類」。一元曰「實」。一數曰「挪抬」。乃行是術曰。
-		吾有一言。名之曰「渾沌語」。
-		若「類」等於「「物」」者。
-			加「渾沌語」以「抬符」昔之「渾沌語」者。今其是矣。
-			夫「實」。加「挪抬」以一。取二以施「包物」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
-			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
-			加「渾沌語」以「「也」」加其以「抬符」。昔之「渾沌語」者。今其是矣。
-
-		或若「類」等於「「列」」者。
-			加「渾沌語」以「抬符」昔之「渾沌語」者。今其是矣。
-			夫「實」。加「挪抬」以一。取二以施「包列」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
-			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
-			加「渾沌語」以「「也」」加其以「抬符」。昔之「渾沌語」者。今其是矣。
-
-		或若「類」等於「「言」」者。
-			加「渾沌語」以「引起」加其以「實」加其以「引迄」。加其以「抬符」昔之「渾沌語」者。今其是矣。
-		或若「類」等於「「爻」」者。
-			吾有一言。曰「「陽」」。名之曰「爻名」
-			夫「實」。若其不然者。昔之「爻名」者。今「「陰」」是矣也。
-			加「渾沌語」以「引起」加其以「爻名」加其以「引迄」。加其以「抬符」昔之「渾沌語」者。今其是矣。
-		或若「類」等於「「數」」者。
-			施「包數」於「實」。名之曰「數名」。
-			加「渾沌語」以「引起」加其以「數名」加其以「引迄」。加其以「抬符」昔之「渾沌語」者。今其是矣。
-		云云。
-		乃得「渾沌語」
-	是謂「暗包渾沌」之術也。
-
-	吾有一術。名之曰「包列」。欲行是術。必先得一物曰「渾沌列」。一數曰「挪抬」。乃行是術曰。
-		吾有一言。名之曰「渾沌語」。
-		凡「渾沌列」中之「實」
-			施「識類」於「實」。名之曰「類」。
-
-			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
-			加「渾沌語」以「類」。
-			昔之「渾沌語」者。今其是矣。
-
-			施「暗包渾沌」於「類」於「實」於「挪抬」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
-		云云。
-		乃得「渾沌語」
-	是謂「包列」之術也。
-
-	吾有一術。名之曰「包物」。欲行是術。必先得一物曰「渾沌物」。一數曰「挪抬」。乃行是術曰。
-
-		吾有一言。名之曰「渾沌語」。
-
-		施「列物之端」於「渾沌物」。名之曰「諸端」。
-
-		凡「諸端」中之「端」
-			施「取物」於「渾沌物」於「端」。名之曰「實」。
-			施「識類」於「實」。名之曰「類」。
-
-			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
-			加「渾沌語」以「「之」」。加其以「引起」。加其以「端」。加其以「引迄」。加其以「類」。
-			昔之「渾沌語」者。今其是矣。
-
-			施「暗包渾沌」於「類」於「實」於「挪抬」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
-		云云。
-		乃得「渾沌語」
-	是謂「包物」之術也。
-
-	施「包物」於「渾沌物」於一。名之曰「餛飩語」。
-	加「抬符」以「餛飩語」。加其於「「物」」。加其以「「也」」。乃得矣。
-是謂「包渾沌」之術也。
-
-```
-
-2. 下一级定义域重新定义上一级已经定义的变量
-
-```javascript
-var 甲 = 1;
-    var 乙 = 1;
-    for (var _rand1 = 0; _rand1 < 試; _rand1++) {
-        var _ans1 = 甲 * 甲;
-        var 乙 = _ans1;
-        var _ans2 = 乙 - 2;
-        var 乙 = _ans2;
-        var _ans3 = 甲 * 2;
-        var 丙 = _ans3;
-        var _ans4 = 乙 / 丙;
-        var 茂 = _ans4;
-        var _ans5 = 甲 - 茂;
-        var 甲 = _ans5;
-    };
-
-```
-
-3. 对于第一级的函数是无法引用的,如果要引用，也是有办法
-
-```wenyan
-今有一術。名之曰「包渾沌1」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
-    ....
-是謂「包渾沌1」之術也。
-
-今有一術。名之曰「包渾沌」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
-    今有一術。名之曰「包渾沌3」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
-        施「包渾沌1」於「渾沌物」
-    是謂「包渾沌」之術也。
-是謂「包渾沌」之術也。
-
-```
-
-这样通过引用包混沌3即可，由于语言特性的限制，对于第一级函数的引用我正在研究
 
 
 > 相关链接
@@ -379,6 +234,8 @@ var 甲 = 1;
 
 -lv: 分詞可視化
 
+-st: 开启强类型编译
+
 > 直接加载文言文脚本
 
 ```groovy
@@ -403,4 +260,149 @@ javaClass.getDeclaredMethod("run").invoke(javaClass.newInstance())
 
 1. 编译器将wy文件编译为class字节码文件
 2. 将class字节码文件打包为jar包
-3. 通过编译器-l导入进去即可
+3. 通过编译器-l导入进去即可
+
+> 对于部分不兼容的特性
+
+PS: 由于一些代码按照js特性去实现的，很多特性我都是通过语法糖暴力实现。但这些我确实无力去实现了
+
+1. 对于函数调用，如果是闭包函数，请先`吾有一術。名之曰「xx」。`定义，这样才能确保前面的函数调用后面实现的函数
+
+```wenyan
+今有一術。名之曰「包渾沌」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
+	吾有一言。曰「「　」」名之曰「挪符」。
+	吾有一言。曰「「\n」」名之曰「抬符」。
+	吾有一術。名之曰「包數」。
+	吾有一術。名之曰「暗包渾沌」。
+	吾有一術。名之曰「包列」。
+	吾有一術。名之曰「包物」。
+	吾有一術。名之曰「包數」。欲行是術。必先得一數曰「甲」。乃行是術曰。
+		吾有一言。名之曰「正負」。
+		若「甲」小於零者。
+			乘「甲」以負一。昔之「甲」者。今其是矣。
+			昔之「正負」者。今「「負」」是矣。
+		云云。
+		除「甲」以一。所餘幾何。名之曰「小數」
+		減「小數」於「甲」。名之曰「整數」。
+		吾有二言。名之曰「小」曰「整」。
+		恆為是。若「整數」不大於零者乃止也。
+			除「整數」以十。所餘幾何。名之曰「位」。
+			加「位」以一。夫「位名」之其。加其以「整」。昔之「整」者。今其是矣。
+			減「整數」以「位」。除其以十。昔之「整數」者。今其是矣。
+		云云。
+		恆為是。若「小數」不大於零者乃止也。
+			乘「小數」以十。昔之「小數」者。今其是矣。
+			除「小數」以一。所餘幾何。名之曰「位」。
+			加「位」以一。夫「位名」之其。加其於「小」。昔之「小」者。今其是矣。
+			減「小數」以「位」。昔之「小數」者。今其是矣。
+		云云。
+		加「正負」以「整」。昔之「整」者。今其是矣。
+		夫「小」之長。若其然者。
+			加「整」以「「·」」。加其以「小」。乃得矣。
+		云云。
+		乃得「整」。
+	是謂「包數」之術也。
+
+	吾有一術。名之曰「暗包渾沌」。欲行是術。必先得一言曰「類」。一元曰「實」。一數曰「挪抬」。乃行是術曰。
+		吾有一言。名之曰「渾沌語」。
+		若「類」等於「「物」」者。
+			加「渾沌語」以「抬符」昔之「渾沌語」者。今其是矣。
+			夫「實」。加「挪抬」以一。取二以施「包物」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
+			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
+			加「渾沌語」以「「也」」加其以「抬符」。昔之「渾沌語」者。今其是矣。
+
+		或若「類」等於「「列」」者。
+			加「渾沌語」以「抬符」昔之「渾沌語」者。今其是矣。
+			夫「實」。加「挪抬」以一。取二以施「包列」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
+			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
+			加「渾沌語」以「「也」」加其以「抬符」。昔之「渾沌語」者。今其是矣。
+
+		或若「類」等於「「言」」者。
+			加「渾沌語」以「引起」加其以「實」加其以「引迄」。加其以「抬符」昔之「渾沌語」者。今其是矣。
+		或若「類」等於「「爻」」者。
+			吾有一言。曰「「陽」」。名之曰「爻名」
+			夫「實」。若其不然者。昔之「爻名」者。今「「陰」」是矣也。
+			加「渾沌語」以「引起」加其以「爻名」加其以「引迄」。加其以「抬符」昔之「渾沌語」者。今其是矣。
+		或若「類」等於「「數」」者。
+			施「包數」於「實」。名之曰「數名」。
+			加「渾沌語」以「引起」加其以「數名」加其以「引迄」。加其以「抬符」昔之「渾沌語」者。今其是矣。
+		云云。
+		乃得「渾沌語」
+	是謂「暗包渾沌」之術也。
+
+	吾有一術。名之曰「包列」。欲行是術。必先得一物曰「渾沌列」。一數曰「挪抬」。乃行是術曰。
+		吾有一言。名之曰「渾沌語」。
+		凡「渾沌列」中之「實」
+			施「識類」於「實」。名之曰「類」。
+
+			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
+			加「渾沌語」以「類」。
+			昔之「渾沌語」者。今其是矣。
+
+			施「暗包渾沌」於「類」於「實」於「挪抬」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
+		云云。
+		乃得「渾沌語」
+	是謂「包列」之術也。
+
+	吾有一術。名之曰「包物」。欲行是術。必先得一物曰「渾沌物」。一數曰「挪抬」。乃行是術曰。
+
+		吾有一言。名之曰「渾沌語」。
+
+		施「列物之端」於「渾沌物」。名之曰「諸端」。
+
+		凡「諸端」中之「端」
+			施「取物」於「渾沌物」於「端」。名之曰「實」。
+			施「識類」於「實」。名之曰「類」。
+
+			為是「挪抬」遍。加「渾沌語」以「挪符」。昔之「渾沌語」者。今其是矣也。
+			加「渾沌語」以「「之」」。加其以「引起」。加其以「端」。加其以「引迄」。加其以「類」。
+			昔之「渾沌語」者。今其是矣。
+
+			施「暗包渾沌」於「類」於「實」於「挪抬」。加其於「渾沌語」。昔之「渾沌語」者。今其是矣。
+		云云。
+		乃得「渾沌語」
+	是謂「包物」之術也。
+
+	施「包物」於「渾沌物」於一。名之曰「餛飩語」。
+	加「抬符」以「餛飩語」。加其於「「物」」。加其以「「也」」。乃得矣。
+是謂「包渾沌」之術也。
+
+```
+
+2. 下一级定义域重新定义上一级已经定义的变量
+
+```javascript
+var 甲 = 1;
+    var 乙 = 1;
+    for (var _rand1 = 0; _rand1 < 試; _rand1++) {
+        var _ans1 = 甲 * 甲;
+        var 乙 = _ans1;
+        var _ans2 = 乙 - 2;
+        var 乙 = _ans2;
+        var _ans3 = 甲 * 2;
+        var 丙 = _ans3;
+        var _ans4 = 乙 / 丙;
+        var 茂 = _ans4;
+        var _ans5 = 甲 - 茂;
+        var 甲 = _ans5;
+    };
+
+```
+
+3. 对于第一级的函数是无法引用的,如果要引用，也是有办法
+
+```wenyan
+今有一術。名之曰「包渾沌1」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
+    ....
+是謂「包渾沌1」之術也。
+
+今有一術。名之曰「包渾沌」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
+    今有一術。名之曰「包渾沌3」。欲行是術。必先得一物。曰「渾沌物」。乃行是術曰。
+        施「包渾沌1」於「渾沌物」
+    是謂「包渾沌」之術也。
+是謂「包渾沌」之術也。
+
+```
+
+这样通过引用包混沌3即可，由于语言特性的限制，对于第一级函数的引用我正在研究
+

.idea/scala_compiler.xml

@@ -44,6 +44,8 @@ public class WenYanCompilerImpl implements WenYanCompiler,Cloneable{
 
     private Map<File,File> wygFiles = new HashMap<>();
 
+    private boolean strongType = false;
+
     private boolean lexerViewer;
 
     protected Library library;
@@ -177,6 +179,7 @@ public int init(CompilerConfig compilerConfig){
             this.compilerConfig = compilerConfig;
             this.supportPinyin = compilerConfig.isSupportPinYin();
             this.lexerViewer = compilerConfig.isLexerViewer();
+            this.strongType = compilerConfig.isStrongType();
             String[] files = compilerConfig.getCompileFiles();
             String[] args = compilerConfig.getRunArgs();
             String[] libs = compilerConfig.getCompileLib();
@@ -407,6 +410,10 @@ public Library getLibrary() {
         return library;
     }
 
+    public boolean isStrongType() {
+        return strongType;
+    }
+
     @Override
     public WenYanCompilerImpl clone() throws CloneNotSupportedException {
         return (WenYanCompilerImpl) super.clone();

README.md

@@ -31,6 +31,7 @@ public static void registerCommands(){
         compileCommand.put("-wyg",new WenYuanGeCommand());
         compileCommand.put("-wd",new WenYuanGeDownloadCommand());
         compileCommand.put("-lv",new LexerViewerCommand());
+        compileCommand.put("-st",new StrongTypeCommand());
     }
 
     public CommandHandler(WenYanCompilerImpl compiler){

src/main/java/cn/wenyan/compiler/WenYanCompilerImpl.java

@@ -2,6 +2,8 @@
 
 public class CompilerConfig {
 
+    private boolean strongType;
+
     private boolean lexerViewer;
 
     private String wygDownload;
@@ -28,6 +30,14 @@ public class CompilerConfig {
 
     private String[] runArgs = new String[0];
 
+    public boolean isStrongType() {
+        return strongType;
+    }
+
+    public void setStrongType(boolean strongType) {
+        this.strongType = strongType;
+    }
+
     public boolean isSupportPinYin() {
         return supportPinYin;
     }