추론을 통한 실용적인 범위 정제 타입 (Practical Range Refinement Types with Inference)

요약

정제 타입(Refinement types)의 어노테이션 오버헤드를 줄이기 위해 설계된 새로운 시스템 Ranger를 소개합니다. Ranger는 양방향 타입 시스템과 타입 추론을 활용하여 정수 범위 타입을 간결하고 정밀하게 검증합니다.

핵심 포인트

• 어노테이션 오버헤드를 최소화한 정제 타입 시스템 Ranger 제안
• 양방향 타입 시스템 기반의 타입 추론으로 사용자 부담 감소
• 정수 범위 타입(integer range types)을 통한 인덱스 및 데이터 접근 검증
• Java 및 Scala의 표준 타입 시스템보다 높은 표현력과 검증 능력 입증