Rohlang3: Ein minimaler SK-Kalkül mit abhängigen Typen

Rohan Ganapavarapus Rohlang3 ist eine experimentelle, minimalistische Sprache, die in Rust geschrieben wurde. Sie versucht, einen punktfreien Stil, Homoiconicität und abhängige Typen auf der Grundlage eines SK-Kalküls zu kombinieren. Obwohl sie auf den Standard-S- und K-Kombinatoren basiert, fügt Rohlang3 Reflektionskombinatoren (q und e), partielle Auswertung (z) und Umgebungsumordnung (i, E und D) hinzu, sowie ein vereinfachtes abhängiges Pi/Sigma-Typsystem (p und g). Das Projekt zielt nicht auf perfekte Konsistenz ab, sondern eher auf die Erforschung des Zusammenspiels dieser Konzepte. Die Homoiconicität ermöglicht die Laufzeitmanipulation des AST, und die Reflektions- und partiellen Auswertungsfunktionen ermöglichen leistungsstarke Metaprogrammierungsfähigkeiten.