Rohlang3: Un Cálculo SK Minimalista con Tipos Dependientes

Rohlang3 de Rohan Ganapavarapu es un lenguaje minimalista experimental escrito en Rust. Intenta combinar estilo sin puntos, homoiconicidad y tipado dependiente sobre una base de cálculo SK. Si bien se basa en los combinadores S y K estándar, Rohlang3 agrega combinadores de reflexión (q y e), evaluación parcial (z) y reordenamiento de entorno (i, E y D), junto con un sistema de tipos dependientes Pi/Sigma simplificado (p y g). El proyecto no busca la consistencia perfecta, sino explorar la interacción de estos conceptos. La homoiconicidad permite la manipulación en tiempo de ejecución del AST, y las funciones de reflexión y evaluación parcial permiten potentes capacidades de metaprogramación.