static-type-inference

프로그램을 실제로 실행하지 않고 코드의 구조와 연산 과정을 분석하여 변수나 함수의 데이터 타입을 자동으로 판별하는 기법이다. 명시적인 타입 선언이 없는 동적 언어에서도 타입을 예측할 수 있게 하여 오류를 사전에 방지한다. RedDragon은 IR 수준에서 고정점(Fixpoint) 알고리즘을 통해 타입을 전파한다.