Rohlang3 : Un calcul SK minimaliste avec types dépendants

Rohlang3, développé par Rohan Ganapavarapu, est un langage minimaliste expérimental écrit en Rust. Il tente de combiner un style sans point, l'homoiconicité et le typage dépendant sur une base de calcul SK. Bien qu'il repose sur les combinateurs S et K standards, Rohlang3 ajoute des combinateurs de réflexion (q et e), d'évaluation partielle (z) et de réorganisation d'environnement (i, E et D), ainsi qu'un système de types dépendants Pi/Sigma simplifié (p et g). Le projet ne vise pas une cohérence parfaite, mais plutôt à explorer l'interaction de ces concepts. L'homoiconicité permet la manipulation à l'exécution de l'AST, et les fonctionnalités de réflexion et d'évaluation partielle permettent des capacités de métaprogrammation puissantes.