Roussillon : 类型系统

此crate是一个不完整的库，旨在帮助创建编程语言。

此crate提供了一些结构体和特性来管理类型和有类型的值。

此crate的目标 不是 管理内存分配。

类型系统

类型模块

此模块提供了一种标记某些数据类型的方式。

基本类型

这些是构建任何其他有意义类型所必需的类型。通常，这些是“机器类型”

• 布尔值
• 字节
• 字节组
• 浮点数
• 整数
• 引用
• 列表

“元组”类型

• 元组

代数数据类型

• SumType
• ProductType

自定义类型（带标识符的ADT）

• 枚举（值称为联合）
• 结构体

函数式

• 函数类型

值模块

值模块提供了从 类型 模块中的所有类型创建值的方法。

提供的可构造值包括

• 布尔值
• 字节（任意大小）
  • 字节（8位）
  • 词（16位）
  • 四倍字（32位）
  • 长（64位）
  • 宽（128位）
• 整数
• 浮点数
• 引用
• 列表
• 序列（元组值）
• 和（SumType值）
• 积（ProductType值）
• 联合（枚举值）
• 记录（结构体值）
• 函数体

许可证

(c) 2024 Sébastien Geldreich

此作品根据MIT许可证发布。