Syl, 컴파일 타임 의존 타입으로 시스템 프로그래밍 언어의 새 지평을 열다

Compile-Time Dependent Types

Syl은 컴파일 타임 계산을 모달 타입 시스템으로 인코딩하는 언어다. static과 erased 모드를 통해 컴파일 타임에 알 수 있는 값과 런타임에 필요한 값을 구분하고, 이를 바탕으로 의존 함수 타입을 구현한다. 결과적으로 Syl은 컴파일 타임에는 의존 타입을, 런타임에는 단순 타입을 갖는다. 일반 재귀와 type : type을 허용해 정당성 검사기 없이도 타입 안전성을 유지하며, unreachable 키워드로 부분 함수를 명시적으로 지원한다.