类型系统

基础类型

c0 有一个十分简单的类型系统。在基础 C0 中你会用到的类型有两种：

• 64 位有符号整数 int
• 空类型 void

扩展 C0 增加了一种类型：

• 64 位 IEEE-754 浮点数 double

类型表示

ty -> IDENT

在 C0 中，用到类型的地方使用一个标识符表示。这个标识符的所有可能值就是上面列出的基础类型。填入其他值的情况应被视为编译错误。

关于布尔类型

比较运算符的运行结果是布尔类型。在 c0 中，我们并没有规定布尔类型的实际表示方式。在 navm 虚拟机中，所有非 0 的布尔值都被视为 true，而 0 被视为 false。