Elixir v1.20 출시, 점진적 타입 언어로 전환
원제: Elixir v1.20: Now a gradually typed language
왜 중요한가
동적 언어에 점진적 타입 시스템을 성공적으로 도입한 사례로, 개발자 부담 없이 코드 안정성을 향상시키는 새로운 접근법을 제시했다.
Elixir 프로그래밍 언어가 v1.20에서 점진적 타입 시스템을 도입했다고 2026년 6월 3일 발표했다. 타입 어노테이션 없이도 타입 추론과 점진적 타입 체크를 수행하며, 실행 시 실패가 보장되는 검증된 버그를 효율적으로 찾아낸다.
Elixir는 2022년부터 집합 이론 타입 시스템 개발을 시작하여 v1.20에서 첫 번째 개발 마일스톤을 완료했다. 새로운 타입 시스템은 타입 어노테이션 없이도 모든 Elixir 프로그램에 대해 타입 추론과 점진적 타입 체크를 수행한다. 시스템의 핵심 특징은 사운드, 점진적, 개발자 친화적이라는 세 가지 목표다. Elixir의 dynamic() 타입은 다른 점진적 타입 언어의 any() 타입과 달리 호환성과 narrowing이라는 두 가지 중요한 속성을 가진다. 이를 통해 기존 코드베이스에서 극히 낮은 위양성률로 데드 코드와 검증된 버그를 보고한다. 'If T: Benchmark for Type Narrowing' 벤치마크에서 13개 카테고리 중 12개를 통과하여 동적 타입 프로그램에서 정확한 타입 정보를 복원할 수 있음을 입증했다. 이 개발은 CNRS와 Remote의 파트너십으로 가능했으며, 현재 Fresha와 Tidewave가 스폰서하고 있다.