Rohlang3: Um Cálculo SK Minimalista com Tipos Dependentes

O Rohlang3 de Rohan Ganapavarapu é uma linguagem minimalista experimental escrita em Rust. Ele tenta combinar estilo sem pontos, homoiconicidade e tipagem dependente sobre uma base de cálculo SK. Embora construído sobre os combinadores S e K padrão, o Rohlang3 adiciona combinadores de reflexão (q e e), avaliação parcial (z) e reordenação de ambiente (i, E e D), juntamente com um sistema de tipo dependente Pi/Sigma simplificado (p e g). O projeto não visa a consistência perfeita, mas sim explorar a interação desses conceitos. A homoiconicidade permite a manipulação em tempo de execução do AST, e os recursos de reflexão e avaliação parcial permitem capacidades de metaprogramação poderosas.