因目前正在读研，所做的研究方向（Domain Generalization in cv）与之不一致，目前已没有时间继续实现该语言的后续阶段，未来会进一步实现（可能会比较久）
QS全名QinScript，是一门面向过程的脚本语言，语法参考了JS与C，属于个人实验性质项目。
关于名字由来：e59ba0e4b8bae8bf99e698afe68891e8aebee8aea1e79a84e7acace4b880e4b8aae7bc96e7a88be8afade8a880efbc8ce8808ce68891e78eb0e59ca8e79a84e5a5b3e69c8be58f8be4b99fe698afe68891e79a84e5889de6818befbc8ce68980e4bba5e5b0b1e794a8e4ba86e68891e5a5b3e58f8be79a84e5a793efbc8ce4b99fe5b0b1e698af51696eefbc88e7a7a6efbc89e4bd9ce4b8bae5bc80e5a4b4efbc8ce5908ce697b6e59ba0e4b8bae698afe8849ae69cace8afade8a880efbc8ce68980e4bba5e58f88e59ca8e5908ee99da2e58aa0e4ba86e4b8aa536372697074efbc8ce8bf99e5b0b1e69e84e68890e4ba8651696e5363726970740a
QS中一个文件就是一个模块。
-
模块定义使用
@module: 模块名来定义，模块定义必须在第一行。 -
模块导入使用
import: 模块名来导入。 -
模块中对于要导出的函数量使用
export: 导出对象来定义。 -
模块中要是用其它模块中导出的元素，需要使用模块名前缀：
模块名::导出元素 -
一个QS项目中必须要有一个main函数（有且只有一个），该函数作为程序入口。 样例：
@module: Main;//Main模块 import: Math;//导入Math模块 export: temp;//导出temp变量 let temp;//模块变量 fun main(){//入口函数 let a = 12; let b = 33; let c = Math::min(a,b);//调用其它模块函数 }
QS中的变量定义使用let关键字，变量分为三种：模块变量、局部变量与静态变量。
变量类型有：
-
string
-
number
-
boolean
-
null
-
array
-
complexus（复合体，静态函数的返回值，详情见静态函数）
在QS的变量中，只有模块变量是可以导出的，在全局可以访问。
局部变量在函数内定义，根据局部变量定义时所处的作用域，只可以在该作用域或子作用域中访问，且可以被子作用域中同名局部变量覆盖。
静态变量只能在静态函数中定义，使用static关键字定义，可以与局部变量同名，在静态函数或内部函数中访问时需要加@前缀，在静态函数外部访问需要使用复合体类型的变量来间接访问。
样例：
static fun test(){//静态函数定义
static let staticVariable = 0;//静态变量
@staticVariable = 12;//静态变量访问
}
fun main(){
let temp = test();//静态函数调用
temp.staticVariable = 99;//静态变量访问
}
QS语言中函数是第一成员，函数有三种，一种是普通函数，一种是静态函数，还有一种是内部函数，在QS中除内部函数外都可以导出。
普通函数拥有的功能与其他语言中的函数完全一致，因此不进行详细说明了，看样例即可。
样例：
fun test(arg1,arg2){//普通函数定义
//语句
}
静态函数属于模块内部，使用static关键自定义，内部函数属于静态函数内部，定义与普通函数一致，但需要加前缀@。
- 静态函数可以视为劣化版的类或是进阶版结构体，它介于二者之间，执行后会将内部的静态变量与内部函数一个整体返回，在这里称这个返回值为复合体。
- 静态函数有静态变量，可视为成员变量，且只有静态函数才有静态变量。
- 静态函数有内部函数，内部函数与普通函数完全一样，除了不可以直接调用，可以将它视为成员方法，且只有静态函数有内部函数。
- 静态函数与普通函数使用完全一致，除了没有return语句，可以单独调用，也可以赋值给一个变量。
- 静态函数单独调用与普通函数的单独调用，在功能上完全一样。
- 静态函数如果赋值给变量，则该变量称为复合体变量。
- 静态函数在调用之后，会执行除内部函数的其它语句，可认为这是对静态函数的内部函数以及静态变量的初始化过程。
- 静态变量与内部函数也属于语句，可以包裹在控制语句中，但不可以使用循环语句包裹，换句话说，静态变量与内部函数可以在调用静态函数的时候动态生成。
- 静态变量与内部函数在静态函数内只可定义一次，多次定义会出错。
- 在静态函数外部访问静态变量与内部函数时，必须通过复合体变量来间接访问，不可以直接访问，访问方式是
复合体变量.静态变量或内部函数。 - 在静态函数中，静态变量与内部函数只可以在内部函数中或是通过复合体变量调用，不可以在执行静态函数时使用。
- 静态变量与函数的局部变量不冲突，内部函数与普通函数不冲突，但静态变量与内部函数是冲突的，在静态函数内使用静态变量需要使用
@做前缀**，在内部函数中调用本静态函数的其它内部函数也需要使用@做前缀。 - 内部函数只可访问静态函数的静态变量或模块变量，不可以访问静态函数的局部变量。
样例：
static fun staticFun( val ){//静态函数定义
static let staticVariable = 0;//静态变量定义与初始化
//@staticVariable = 12;错误示例，静态变量不可在执行静态函数时使用
@fun innerFun0(){//内部函数
return 0;
}
//@innerFun0();错误示例，内部函数不可在执行静态函数时使用
if(val == 0){//动态定义同一个内部函数的不同版本
@fun innerFun(){//内部函数
@staticVariable = @innerFun0();//调用其它内部函数
}
}else{
@fun innerFun(){//内部函数
@staticVariable = 88;//(排版有毒，怎么都对不齐。。。)
}
}
}
fun main(){
let temp = staticFun(1);//静态函数调用
temp.staticVariable = 99;//静态变量访问与赋值
//因为动态创建的时候val的值为1，所以是else中的innerFun被执行了。
temp.innerFun();
//print为原生函数，用于打印数据
print(temp.staticVariable);//打印结果为88
}同一作用域下的变量名与函数名不可重名
- 模块作用域下，模块变量与模块下的函数冲突，即不可与普通函数或静态函数重名。
- 静态函数作用域下，静态变量与内部函数冲突。
- 局部作用域下，局部变量与所有函数均不冲突。
以下语句样例均不包含静态函数相关语句，静态函数的语句可以参考上文中的样例。
let a;//模块变量定义
fun fun2(){//普通函数定义
let b = 99;//局部变量定义
}if(表达式){
语句;
}else{
语句;
}while(表达式){
语句;
}fun0(表达式列表);return 表达式;
return;ID = 表达式;
ID[表达式] = 表达式ID;
1 * 12 + 43 - 4;
"11231254231";
[1, 2, 3];QS中支持单行注释与多行注释，具体的注释方式与C或JS完全一致。
//这是单行注释/*这是多行注释
* 这是多行注释
* 这是多行注释
*/QS使用模块化设计，一共有四个模块，词法分析器、语法分析器、解释器以及虚拟机。
注：此处只是简单介绍一下，正在准备相关系列文章对源码进行解读。
QS的实现准备分为两部分进行，第一部分包含：词法分析器、语法分析器以及解释器，第二部分为虚拟机，虚拟机包含：字节码执行器、JIT以及GC部分。
对于开发语言的选择方面，我综合考虑了许多语言，包括：C、Java、Python、JavaScript、TypeScript以及C++。
C由于太过基础，实现起来需要写的代码就比较多；Java语法糖实在太繁琐了，写起来束手束脚的；JS与PY虽然写起来比较方便，但没有类型，估计BUG会很难发现，最后敲定用C++和TS。
大致上准备第一部分先用TS写第一版，因为开发效率高，用于验证思路的正确性，然后使用C++重构一遍，并进行一些优化处理；对于第二部分，也就是虚拟机部分，直接用C++写，因为TS没法做底层开发（虽然有扩展库，但兼容性是个问题）。
由于现在写的是第一部分，所以只需要搭建好TS部分的环境即可，在开发中，我没有使用任何辅助性框架，也就是说全部都是自己手写的。
开发工具：WebStrom、Node.js、yarn、Clion、Visual Studio。
前三个用于开发第一部分，后两个用于开发第二部分（暂时用不到）
此处简单介绍一下项目整体的目录结构。
-
根目录下的QS文件夹里面是一个QS项目。
-
out文件夹里面是该QS项目的一些输出文件，包括构建的LR(1)分析表缓存数据，项目日志数据，语言终结符与非终结符和词法分析的Token等。
-
src里面包含当前版本以及后续版本的语法文件和被测试的QS项目文件。
-
-
根目录下的Src文件夹里面是对QS实现的具体代码文件。
- cli是命令行工具。
- Interpreter是QS解释器。
- Lexer是词法分析器。
- Log为日志输出，包含对错误以及警告等信息的日志输出。
- Parser是语法分析程序，包含对语法文件的解析，语法树的生成等。
- Project主要是对QS项目路径的解析读取。
- QSLib是QS的原生库函数（TS版比较简单，不准备再添加了，后期准备C++版）。
- Test是对一些模块进行单独的测试。
- Utils是一些工具类
- main是整体项目的入口。
PS：有一些项目目录下面比较混乱，一直没高兴去整理，还请见谅。
词法分析器的源码均在lexer文件夹下，主程序是Lexer.ts，词法分析器是手工编码的方式进行实现的。
语法分析源码在parser文件夹下，主程序是ParseModule.ts，使用LR1语法分析方法，主要分为两个部分，一个部分是解析器，用于解析语法文件，并生成对应的LR1分析表，另一部分是语法树生成器，用于构建语法树，供解释器执行时使用。
解释器源码在Interpreter文件夹下，主程序是Index.ts。
整体开发准备分为五个阶段。
前两阶段开发完成，由于精力有限，可能会有一些未知的bug，还请在issues中提出。
- 当前阶段运行样例
@module:Main;
import:Test;
static fun Stack(len) {
static let x = array(len,0);
static let index = 0;
@fun push(el){
@x[@index++] = el;
}
@fun pop(){
return @x[@index--];
}
@fun getX(){
//只返回有值的部分
let res = array(@index);
let index = 0;
while(index < @index){
res[index] = @x[index++];
}
return res;
}
@fun getSize(){
return @index;
}
}
fun main(){
//测试静态函数、多维数组
let stack = Stack(100);
let x= array(100,0);
x[0]=[1,2,3];
x[1]=11;
print(x[0][2],x[1]);
stack.push("WYX");
stack.push("LOVE");
stack.push("QSN");
let len = 10;
let index = 0;
while(index++<len){
let value = randomInteger(0,100);
print("随机数：",index,value);
stack.push(value);
}
print(stack.getX());
//测试多模块
let str = "abc";
str = Test::reverseStr(str);
print(str);
}@module:Test;
export:res;
export:test;
export:reverseStr;
let res=test("这是Test模块的res");
fun test(str){
return str;
}
fun reverseStr(str){
let temp = "";
let index = len(str)-1;
while(index>=0){
temp = temp + str[index--];
}
return temp;
}- 输出结果：
此阶段的任务主要是：文法设计、词法分析、LR1分析表构建、语法树部分构建、解释器部分构建，部分语言功能的实现。
该阶段主要保证项目的整体可运行性，构建基础设施，带有测试目的。
- 整体结构上，仅支持单模块，不支持多模块导入等功能。
- 数据类型上暂时支持：string、number、boolean与null
- 语句方面，暂时支持：普通函数定义、模块变量与局部变量定义、call语句、block语句、assign语句、while语句、return语句、可计算表达式（calExp）。
- 标准库方面，实现原生函数print()
- 文法设计
- 词法分析
- LR1分析表构建
- AST部分构建
- 解释器部分构建
- 语言功能的部分实现
- 计划实现AST的全部构建，解释器的全部构建，实现TS版的全部语言功能，发布V1.0.0
- IF语句
- 多维数组
- 多模块加载
- 静态函数
- 命令行工具
PS：对于数组与静态函数的实现上，由于没法用指针，用了些取巧的办法，所以并不稳定，二者一起用的时候极有可能出现bug。
- 计划实现C++版，但不实现解释器，解释部分由虚拟机来承担，添加字节码生成器。
PS：之前是没有这个阶段的，但后来发现TS虽然效率不错，但性能着实捉急，然后在写复合体这个功能的时候加剧了我这一想法，本来准备参考V8对object的实现的，然而发现，V8里面object的实现各种指针，完全没法参考，现在的实现相当于给js原生的object套了几层壳。。准备等前两阶段完成后，再用C++全部重构一遍，并做优化处理。
- 设计并实现一部分虚拟机（先支持一些简单的语言元素，保证可以运行起来），包括设计一套字节码，编写字节码执行器、GC、以及JIT。
- 实现完整的虚拟机
上述的第二阶段之后的今年应该没有时间做，因为4月开始要准备考研事宜，所以只准备完成前两个阶段，后面的等考研结束再实现。