Elixir v1.20, 주석 없이 전체 프로그램을 점진적 타입 검사하는 언어로 전환

Elixir v1.20은 타입 주석을 요구하지 않고 모든 Elixir 프로그램에 대해 타입 추론과 점진적 타입 검사를 수행하는 첫 개발 마일스톤을 완료했습니다. 이를 통해 실행 시 실패가 보장되는 verified bugs와 dead code를 낮은 오탐률로 탐지할 수 있으며, If T 타입 좁히기 벤치마크 13개 범주 중 12개를 통과했습니다.

이번 릴리스는 동적 언어가 기존 개발 경험을 크게 해치지 않으면서 정적 분석의 이점을 흡수하는 흐름을 보여줍니다. 특히 set-theoretic types와 **dynamic()**을 결합한 접근은 대규모 기존 코드베이스에 점진적으로 안전성을 도입하려는 언어 설계의 중요한 사례가 될 수 있습니다.

Elixir v1.20: Now a gradually typed language