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