Elixir v1.20, 타입 애노테이션 없이 버그를 잡다!
by DD
1개월 전
조회수 12
Elixir v1.20은 타입 애노테이션 없이 점진적 타이핑을 도입하여 코드 안정성을 높임
`dynamic()` 타입은 런타임 시 타입 호환성과 너로잉을 통해 검증된 버그만 보고함
가드 및 조건문에서 타입 추론을 강화하여 데드 코드 발견 능력을 향상시킴
컴파일 시간이 크게 개선되었으며, 향후 타입 시그니처 도입 로드맵 공개
Elixir v1.20의 점진적 타이핑 도입 배경
이번 Elixir v1.20 릴리스는 기존 코드베이스에 타입 애노테이션(Type Annotation) 없이 점진적 타이핑(Gradual Typing)을 도입하는 것을 목표로 합니다. 이는 정적 분석(Static Analysis)을 통해 런타임에 실패할 코드를 미리 발견하고, 개발자 오버헤드(Developer Overhead)를 최소화하면서도 검증된 버그(Verified Bug)를 효율적으로 찾아내는 데 중점을 둡니다. 특히, 'If T: Benchmark for Type Narrowing' 벤치마크에서 13개 항목 중 12개를 통과하며 정확한 타입 정보 복구 능력을 입증했습니다.
Elixir의 dynamic() 타입과 호환성 및 너로잉(Narrowing)
Elixir의 `dynamic()` 타입은 일반적인 `any()` 타입과 달리 과 이라는 두 가지 속성을 가집니다. 이는 이 런타임에 실제 타입과 함수가 요구하는 타입을 비교하여, 두 타입이 일 경우에만 위반으로 보고합니다. 예를 들어, `/` 연산자는 숫자만 받지만 `dynamic(integer() or binary())` 타입은 정수일 수 있으므로 위반이 발생하지 않습니다. 반면, `Map.fetch!`는 맵을 요구하는데 `dynamic()` 타입이 맵이 될 수 없다면 위반으로 처리됩니다. 또한, 코드 실행 흐름에 따라 `dynamic()` 타입은 , `data.a + data.b`와 같이 사용될 때 `data`가 `{a: number(), b: number()}` 형태의 맵으로 추론되어 를 효과적으로 탐지합니다.
