Elixir v1.20: Now a gradually typed language

Elixir 1.20 发布，并把 gradual typing 作为核心更新方向。digest 指出这次版本使 Elixir 成为 gradually typed language，这意味着类型能力会在动态语言生态中逐步进入日常开发而非一次性强制迁移。对 BEAM 社区来说，关键看类型标注、推断和工具链如何服务大型代码库。