larva设计思路

接下来，开始动真格的，设计实现一个语言，或者确切说是一个相对实用的语言  

虽然已经写了很多的理论相关，不过实际要做的时候，并没必要都用上，因为可以利用已有的东东做基础；同样的，也没有必要实现用户态并发之类的特性，至少在能预见的版本中，我只是需要其计算能力而已。另一个原因是，语言实现是一个很麻烦的事情，假如有一个团队，或可以容忍很长的时间，则可以各方面都做得好些，可惜人力时间都不够，还要做出一个像样的东西，就只能挑重点了，具体地有两个方向：  
一、非必要的特性都砍掉，在合理范围内对语法、实现做强约定，比如对象动态增减属性  
二、如果一个特性可以通过更通用的特性来实现，就可以不考虑它，比如闭包  
用武侠小说的话说，就是“骑最快的马，拿最好的刀，杀最狠的人”，攻其一点，不及其余。当然了，也需要一个平衡，如果一开始只图方便，可能后面要加特性就比较麻烦，开发方面用迭代式的，即快速做出可用的东西，然后逐步修改  

因此，像前面说的，采用将语言转换成另一种高级语言的实现思路能方便些，比如我这里选择了java，这样一来有很多细节问题就不用动手处理了（比如虚拟机的实现，很多基础库的实现，垃圾收集等），不过，语言和实现还是需要分开，也就是说，虽然采用转换为java来实现，但语言本身是一个独立的标准，语法不能太依赖于java的特性，否则只能是一个java的简化版了  
P.S.理论上可以转化为任意语言，包括直接编译成可执行文件或自己设计字节码等，不过将其转为python之类的可能意义不是很大，因为那样还不如用python直接写代码了，再者，我也只考虑命令式语言，且转化过程要直观方便。所以，虽然原则上语言和实现是要分开的，但实际不会做得那么绝对，或者说，我只考虑将其转成java，C/C++，C#，go这种写起来啰嗦但实用意义较大的，因此语法设计之类也会有意无意地向它们（的共同特性）靠拢  

这个语言我取名叫larva，名字来自于星际中zerg的幼虫，有点比喻的意思——它可以变形成各种生物。代码会发布在git.oschina.net上，包括python写的编译器、java实现的内置数据类型和库，以及一些larva自己实现的库，不过目前还是私有项目，没有公开（事实上我还一个字都没写）  

关于这个语言，也和前面说的一样，源代码结构、语法、数据类型上仿照python，不过会去掉或修改python的很多（不常用的）特性，另外，为方便起见，有些特性（比如class）并不会在一开始就设计好，而是在后续添加，同样的，代码的效率优化在一开始仅作设计上的准备，也就是说某些设计会为将来考虑，但具体的优化不会现在做  

要详细描述一套语言规范是很麻烦的事情，尤其是一堆BNF范式，就算我有心思写估计大家也懒得看，从这个角度说，仿照某某语言来描述就很容易了，只需要重点说明有区别的地方即可，其余皆可触类旁通，因此对于larva（第一版本），我觉得只需要简单说明一些规则：  

源代码结构：  
一个larva程序可能由若干模块组成，每个模块是一个.lar文件，或环境支持的、符合.lar文件接口的其他形式（如某些内置模块需要用宿主语言实现）  
和python不同，每个模块仅包含两种元素：全局变量和函数，且函数名不作为变量使用，其定义不作为赋值语句，可看做是声明；由于是动态类型（见下），全局变量在定义的时候实际是一个赋值语句给其赋予初始值，对每个程序运行实例而言，初始值的初始化在进程启动时统一进行，全局变量的初始化如果出现循环依赖的情况，需要由编译器检查。在同一个模块中，导入模块名、全局变量和函数的名字不能互相冲突（具体冲突规则见下）  
程序运行入口是main函数，每个模块都可以有main函数（主要是为了方便测试，就好像python的模块里面可以用if __name__ == "__main__"一样），但是一个程序在编译的时候需要指定主模块，即启动模块，程序运行将从主模块的main函数开始，如果主模块没有main函数，则编译报错。非主模块的main函数作为其一个普通的导出函数  
P.S.  
暂不支持模块组成的包，如果代码结构复杂了可以增加，这个是编译期的事情，比较容易解决  
不支持动态链接功能，这个其实要做也可以，不过麻烦，而且需要运行时环境支持，放弃  

.lar文件结构：  
.lar文件必须由兼容ASCII的编码编辑而成（编码格式指定语法见下）  
语法上讲，.lar文件中分为三类语句：  
一、import语句，导入其他模块，格式：  
import 模块名  
import并不是一条可执行语句，仅在编译期起作用，且必须放置在文件开头。导入后，模块名可在当前模块中使用，同一级命名空间中不可出现同名模块、全局变量或函数，次级命名空间中可覆盖此名字（如函数局部变量名）  
二、全局变量定义，格式：  
全局变量名 = 表达式  
三、函数定义，格式：  
func 函数名(参数列表):  
函数体  
模块元素引用方式，采用“.”运算符，例如：  
import a  
a.b  
a.f()  
同名全局变量不可重复定义，且函数名不可与全局变量冲突  
支持函数重载，不同参数类型的函数可同名  

语句块和语句：  
larva的语句块和python一样，采用缩进格式，缩进计算规则同python  
语句方面也类似python，只是去掉了“\”结尾的折行方式（感觉比较丑陋），一律采用括号折行，即某一行结束时如果有未匹配完整的括号，则视作折行，下一行的缩进会被忽略  
用//做单行注释，/*...*/做多行注释（#号打算留作另外的用途）  
空行或仅含注释的行不计算缩进  

关键字：  
import：导入模块  
func：定义函数  
true,false：bool值的两个常量  
nil：nil常量  
if,elif,else：条件选择语句  
while：while循环  
for：for循环  
in：作为操作符时，判断一个对象是否在容器中，在for语句中，解释为对一个对象进行迭代  
break,continue：循环控制相关  
return：从函数返回  
not,and,or：逻辑运算符  
global：全局变量声明  
print：打印语句  
大部分关键字的含义都比较直观，具体到语法分析的时候再逐个讨论  

类型系统：  
采用动态类型，基本的类型有：  
int：整数，带符号，限定位数（32或64，可编译期指定）  
uint：无符号整数，限定位数，位数与int同，不过由于java没有无符号数，暂时不实现  
long：长整数，不限位数，用于高精度计算  
整数类型和python的一个区别是，int之间的计算如果溢出，不会自动转为long（这是为了后续能对int进行相关的效率优化，且绝大多数程序不需要这个特性）  
float：双精度浮点数，简单对应C或java的double类型  
str：字符串，使用比较通用的16位的unicode字符串  
byte：字节串，存储字节流  
list：列表，对应python的list  
dict：hash表字典，对应python的dict  
tuple：元组，对应python的tuple  

常量：  
整数常量：支持普通10进制表示，0或0o开头的8进制表示，0b开头的2进制表示，0x开头的十六进制表示  
整数常量以无符号标识u或U结尾表示无符号常量  
整数常量以十进制形式表示时，若未指定无符号标识，则范围不可超过int，若指定无符号标识，则范围不可超过uint  
整数常量以十进制之外的形式表示时，一律以uint格式解析，但解析结果是int类型  
长整数常量支持整数常量上述表示形式，以长整数标识L结尾（因为小写的l和1很接近，禁用）  
浮点数常量格式与python相同  
字符串常量由""或''包含，转义规则和python相同，暂不支持三引号格式和raw串（后面再做）  
字符串常量的编码由所处模块的编码标识指定，若解码失败则编译报错  
字节串常量由b""或b''包含，转义规则和字符串常量同，禁止出现非ASCII  
list，dict，tuple的格式均与python同，不过前两者其实算不上常量，顺道一提罢了  

模块编码：  
模块的编码格式在模块第一行指定，格式：  
#coding=编码名  

模块/函数/变量名：[A-Za-z_][A-Za-z0-9_]*  

运算符和优先级：  
这个大体上和python一致，对逻辑运算做了些修改，not，and，or不再具有python中的求值特性，统一计算出bool类型的结果，具体到语法分析再详述  

函数：  
函数由func语句在模块中定义，局部变量和全局变量的规则和python一致，即局部变量直接赋值即算作定义，全局变量如果只是引用则不用声明，而如果要修改全局变量的值（不是内容），则需要global声明  
不支持闭包，不支持可变参数，支持重载  
函数的每个局部变量在使用的时候都必须已经有一个值，即不允许在赋值前使用，由编译器做检查  
暂时不支持函数作为对象传递、赋值  

内置标准化类型和函数：  
类型：int,long,float,str,list,dict,tuple  
类型使用和python类似，像普通函数一样即可，不过没有python中那么复杂的继承和类型系统  
函数：range,...  
内置函数应该是很多的，不过我只想到这个，其他的很多都可以用方法来做  

内置类型的方法：  
len：返回对象的长度（对有长度概念的对象）  
其他一些对象有自己的各种方法，比如list的append等  

大致就这样，其实还是挺模糊的，具体的一些问题，在做的过程中会碰到