OCaml语言开发(2)

1、空格

     space、换行、横向制表、carriage

return, line feed and form feed等被认为是空格。空格操作不考虑。做为分割符号来使用。

2、注释（*  *）,在这两个符号之间引入注释。注释对编译器而言，被当作空格来使用。
3、标示符。标示符由字母、数字、下划线和单引号构成，由字母或者下划线开始。目前，支持长达16000000个字符的标示符。
4、整数值。语言支持16进制(0x,0X)、8进制(0o,0O)、2进制（0b,0B）三中不同整数值。
5、浮点数。浮点数包括整数部分、进制部分和指数部分。
6、字符。字符串被单引号包含。对特殊的字符，具有转义字符。
7、字符串。字符串被双引号包括。
8、命名标签。为避免多义，命名标签必须在句法水平上进行定义。含有两中类型的命名标签。分别为：
  ~lablename：  //正常参数
  ？lablename： //可选的参数
  两者之间通过~和？来区分。
 9、前缀和插入的符号。
 10、关键字。
 11、多义。当一个指令可包含多个指令时，按照最长匹配原则执行。
 12、行编号指令。为便于调试，在程序中可插入行编号指令。指令格式 # number “”；在编译时，行编号指令按照空格指令对待。