Ocaml学习笔记 标识符和简单数据类型

一、标识符

BNF定义：

ident::= (letter∣ _) { letter∣ 0…9∣ _∣ ‘ } 

letter::= A … Z ∣ a … z

在Ocaml语言中，对标识符的规定如下：

1）、标识符是以字母或者下划线开始的一个字符序列，

2）、除开始的第一个字符外，标识符可以跟字母、数字、下划线和单引号

3）、标识符是大小写敏感的

4）、当前的Ocaml版本中的字母可以为ISO 8859-1 (“ISO Latin 1”) 字符集中的字符

5）、标识符的最大长度为16000000

示例：

合法的标识符：a _a _a’ _a_b _a_’_b

不合法的标识符：’a 3a a3”

在Ocaml中有些标识符作为关键字使用的，以下是关键字的标识符列表

and         as          assert      asr         begin       class

constraint  do          done        downto      else        end      exception   ext