타입 주석 없이 Ruby 정적 타입 분석

Shopify 엔지니어들은 타입 주석 없이도 Ruby 프로그램의 타입 정보를 추론하는 새로운 정적 타입 분석기를 개발했습니다. 이 분석기는 개선된 Sparse Conditional Constant Propagation (SCCP) 알고리즘과 정확한 데이터 흐름 추적을 활용하여 함수 간 타입 분석을 효율적으로 처리하며, 많은 클래스를 포함하는 프로그램도 몇 초 만에 분석을 완료합니다. 이 연구는 동적 언어 컴파일러 최적화에 새로운 접근 방식을 제시하며 Ruby와 같은 동적 언어의 성능 향상에 새로운 가능성을 제시합니다.