gradual-typing

Elixir v1.20 引入了基于集合论的渐进类型，能够实现类型推断和可验证的缺陷检测，而无需开发者添加注释，这标志着该语言演进的重大里程碑。