数据类型和内存位置由关键字定义。1 绑定变量 生存在栈上的同步代码。在中，这些变量将成为异步状态机的一部分，最终驻留在堆上。2 严密地来说_可变_和_不可变_并不准确。不可变绑定或共享引用可能仍然包含 Cell ，从而提供 内部可变性 。定义结构体（）：用于定义包含命名字段的结构体类型。示例：元组结构体：结构体的一种变体，使用元组形式定义字段。示例：零大小结构体：定义一个没有任何字段的结构体，不占