Rohlang3: 최소한의 종속형 SK 계산

Rohan Ganapavarapu가 만든 Rohlang3은 Rust로 작성된 실험적인 최소주의 언어입니다. 점 없는 스타일, 동형성, 종속 타입을 SK 계산 기반으로 결합하려고 시도합니다. 표준 S와 K 결합자를 기반으로 구축되었지만, Rohlang3은 반사(q와 e), 부분 평가(z), 환경 재정렬(i, E, D) 결합자와 간소화된 Pi/Sigma 종속 타입 시스템(p와 g)을 추가합니다. 이 프로젝트는 완벽한 일관성을 목표로 하는 것이 아니라 이러한 개념의 상호 작용을 탐구하는 것을 목적으로 합니다. 동형성을 통해 런타임에 AST를 조작할 수 있으며, 반사 및 부분 평가 기능을 통해 강력한 메타 프로그래밍 기능을 제공합니다.