Gleam 类型系统
用途
Gleam 是一门静态类型的函数式语言，可编译到 Erlang 与 JavaScript，为 BEAM 生态系统带来现代类型安全。其类型系统旨在在编译期防止整类运行时错误，同时保留 Erlang 虚拟机的并发与容错优势。本资料围绕 Gleam 类型系统展开，涵盖代数数据类型、自定义类型、模式匹配、泛型类型、类型推断、不透明类型、穷尽性检查等主题，并介绍在 BEAM 上实现类型安全错误处理的模式。
主要能力
资料涉及的能力包括：
- 自定义类型与记录：用 pub type 定义带命名字段的结构化数据，支持字段访问与不可变更新（使用 ..user 语法复制更新记录），支持多构造器类型（如 Shape 的 Circle/Rectangle/Triangle）、元组结构体（无标签字段）、嵌套自定义类型、泛型自定义类型（如 Box(a)）、递归类型（如 Tree(a)）以及用于类型安全 API 的幽灵类型。
- 代数数据类型（ADT）：用多个变体建模数据，使非法状态不可表示，并支持穷尽模式匹配。示例包括和类型（如 Status 的 Pending/Approved/Rejected）、内置 Result(ok, error)、Option(a) 模式、复杂 ADT（如 HttpResponse 的 Ok200/Created201/BadRequest400/NotFound404/ServerError500）、链表 ADT、Either 类型、连接状态机 ADT、表达式树 ADT 等。
- 模式匹配：提供穷尽、类型安全的条件逻辑与解构能力，包括字面量匹配、带守卫（guard）的匹配、元组解构、自定义类型解构、嵌套模式匹配、列表模式匹配（如 [head, ..tail]）、多值 case 表达式、备选模式（|）、字符串匹配、use 表达式处理 Result，以及对枚举的穷尽匹配。
- 泛型类型与多态：支持编写跨类型复用的类型安全代码，包括泛型函数（identity、const）、泛型数据结构（Pair、Container、Tree）、高阶函数（map、filter、fold）、泛型 Result 操作（result_map、result_map_error、result_and_then、result_unwrap_or、result_all）以及函子式组合。
- 类型别名与不透明类型：类型别名（如 UserId、Email、Validator、StringList、UserMap）为复杂类型提供可读名称；不透明类型（pub opaque type）隐藏内部表示，如 Password、ValidatedEmail、Meters/Feet、OrderId，并通过构造函数约束保证只能经由受控函数创建。
使用方式
资料以代码示例为主要呈现方式，展示每个特性的定义与使用：定义自定义类型、创建实例、通过字段访问或模式匹配取值、用 ..user 语法进行不可变更新、用 case 进行穷尽匹配、用泛型参数编写可复用函数、用 pub opaque type 封装并暴露受控的构造与转换函数（如 create_password/verify_password、validate_and_create_email、meters_to_feet 等）。安装命令与项目初始化步骤在资料中暂未提供。
适用场景
- 在 BEAM 生态中编写类型安全的函数式代码。
- 用 ADT 建模领域逻辑与状态机，使非法状态不可表示。
- 用 Result 与 Option 进行类型安全的错误处理与空值处理。
- 用泛型与高阶函数构建可复用的数据结构抽象。
- 用不透明类型封装敏感数据（如密码）或带单位/ID 语义的值，约束构造路径。
- 通过穷尽模式匹配在编译期发现遗漏分支。
限制
关于该技能的定价、收费模式、支持的平台、性能效果、具体使用步骤与前置依赖，资料中暂未提供。示例中的部分实现（如 hash_string）被标注为简化或隐藏实现，不代表可直接用于生产的完整方案。