标签: #beam

한국어English日本語中文

← 全部文章

• Elixir 1.20 的渐进类型系统 — 不写注解也能找到"已验证 bug"，实际是怎么回事

  2026年6月3日发布的 Elixir v1.20，完成了始于2022年的集合论类型系统的第一个里程碑。现在所有 Elixir 程序无需写一行类型注解就能被渐进式类型检查，编译器在守卫、函数体、分支之间推断类型，找出"一旦执行就必定在运行时炸掉"的违规和死代码。核心是 dynamic() 类型：和其他语言里 any() 会丢弃类型信息不同，Elixir 的 dynamic() 表现得像一个范围，会随代码收窄，只有当提供的类型与允许的类型

  2026-07-16 · 27 分钟阅读 #elixir#type-system#beam#compiler#static-analysis