1. Elixir v1.20: Now a gradually typed language (elixir-lang.org)
Elixir v1.20 核心更新摘要
渐进类型系统的引入
Elixir v1.20 实现了类型系统的首个开发里程碑：在无需引入类型注解的前提下，对所有 Elixir 程序进行类型推断与渐进类型检查。该机制能够高效识别死代码及“已验证的 Bug”（即运行时必定失败的类型违规），且无需增加开发者负担，误报率极低。
类型系统设计目标
- 健全性（Sound）：系统推断和分配的类型与程序的实际运行行为保持一致。
- 渐进性（Gradual）：引入
dynamic()类型以支持运行时类型检查；在不使用dynamic()时，系统表现为静态类型系统。 - 开发者友好：基于集合论操作（并集、交集、否定）来描述、实现和组合类型，并提供清晰的错误信息。
dynamic() 类型的核心机制
区别于其他渐进类型语言中的 any() 类型，Elixir 的 dynamic() 类型具备以下关键特性：
- 兼容性（Compatibility）：仅当提供的类型与函数期望接受的类型完全不相交（Disjoint）时，才会触发类型违规报错，从而有效避免误报。
- 窄化（Narrowing）：
dynamic()类型可根据代码上下文（如访问特定字段或进行数学运算）被动态细化为更精确的类型范围。这种机制使系统能在动态类型程序中精准捕获潜在的逻辑错误。
语法结构的类型检查与推断
- 守卫（Guards）：支持在守卫表达式中推断类型的并集、交集和否定（例如
is_map_key及其否定形式），并能追踪元组等数据结构的大小限制。 - 控制流（Case 与条件语句）：利用前置子句的匹配信息来细化后续子句的类型，帮助类型系统发现冗余子句和死代码。
- 标准库支持：已为大量处理元组和映射（Maps）的标准库函数添加了类型定义。
编译性能优化
- 进一步提升了编译速度，尤其在多核机器上表现优异，其构建工具在合成基准测试中速度领先。
- 新增
:module_definition编译器选项（可配置为:interpreted），可改善大型项目的编译时间，且不影响最终写入磁盘的.beam文件。
未来规划
团队计划在未来引入类型化结构定义以及利用集合论类型的显式类型签名。在此之前，需优先解决以下研究与开发问题：
- 确保 v1.20 类型系统的性能达到预期。
- 高效实现递归类型（Recursive types）。
- 高效实现参数化类型（Parametric types）。
- 高效实现将 Map 的键值对作为可枚举对象进行遍历。