Elm

定义

Elm 是一门面向 Web 前端的静态类型纯函数式编程语言，由 Evan Czaplicki 于 2012 年发布，编译目标为 JavaScript。

核心设计

Elm 没有 null 和未捕获异常，错误情形用 Maybe、Result 等代数数据类型显式建模，配合完备的模式匹配检查，官方宣称实践中几乎不会出现运行时异常。其编译器报错信息以具体、友好、给出修复建议著称，影响了 Rust 等语言的报错风格。

Elm 架构

Elm 强制采用 Model-Update-View 的单向数据流模式，即「The Elm Architecture（TEA）」，该模式直接启发了 Redux 等 JavaScript 状态管理库。

评价

Elm 生态小而稳定，升级节奏缓慢；它更大的影响在于把纯函数式与强类型实践成功引入了主流前端社区。