Gleam

概述

Gleam 是一门静态类型函数式编程语言，由 Louis Pilfold 创建，2024 年发布 1.0 版本。它编译到 Erlang 运行于 BEAM 虚拟机，也可编译到 JavaScript。

设计动机

Erlang 与 Elixir 以高并发、高容错著称，但都是动态类型语言。Gleam 在保留 BEAM 并发模型与 OTP 生态的同时，引入了完整的编译期类型检查与类型推断，将大量错误提前到编译阶段。

语言特性

Gleam 语法简洁，特性集刻意保持精简：代数数据类型、穷尽的模式匹配、不可变数据、管道操作符，没有 null、异常和隐式转换。编译器报错信息注重可读性与修复建议。工具链内置格式化器、包管理和语言服务器。

应用

适合构建需要类型安全的高并发后端服务，可直接调用 Erlang 与 Elixir 库。