Proyecto · Ingeniería de lenguajes
Rhindex Lang: de la intención al código verificable
Un lenguaje de programación en desarrollo que propone integrar las especificaciones en el propio programa: expresar qué debe hacer un sistema, cómo se coordina y qué reglas debe respetar su implementación.
- Propuesta
- Especificación y código conectados
- Para quién
- Equipos que construyen sistemas
Estado y recursos
En desarrollo
- Web oficial · acceso privado
- Documentación · acceso privado
- Demo protegida
- Código privado
- Descargas protegidas
Alcance y condiciones de acceso
Contanos qué querés evaluar. La autorización no se presume ni se comparte públicamente.
Web oficial privada; acceso sujeto a autorización. Documentación privada; acceso sujeto a autorización.
- Playground
- Demo protegida · Keycloak o passcode cuando el proyecto confirme el acceso.
- Descargas protegidas
- Sin binarios anónimos. La disponibilidad se habilita por autorización.
- Código fuente
- Privado · no publicado
Que la intención no se pierda al implementar
Cuando los requisitos viven en un documento y el comportamiento en otro lugar, es difícil detectar cuándo el código se aparta de lo pedido. Con asistencia de IA, una instrucción ambigua también puede convertirse en una implementación convincente pero equivocada. Rhindex busca dar a personas y herramientas una especificación explícita que puedan contrastar con el programa.
Especificación y verificación dentro del lenguaje
Su diseño organiza un mismo sistema en tres niveles: dominio y reglas, flujos de coordinación y código de ejecución. Tipos, contratos y efectos buscan hacer visibles las obligaciones y los límites de cada parte. Esa estructura puede dar contexto a la IA: propone una implementación, una persona la revisa y las herramientas comprueban el comportamiento que soportan. Es la visión del lenguaje, no una garantía de que cualquier código generado cumpla toda la intención.
Del requisito al comportamiento
Como escenario conceptual, un equipo podría describir quién puede aprobar una operación, ordenar las validaciones y definir el resultado esperado antes de implementar la función. La propuesta de Rhindex es mantener esas decisiones conectadas al código y hacer comprobables sus reglas, en lugar de depender sólo de una instrucción en texto libre. Este escenario no se presenta como una aplicación ya disponible.
Qué existe hoy
El repositorio contiene un frontend de compilador, la CLI rhindexc, comprobaciones previas de sintaxis y una parte de tipos y símbolos, además de un runtime experimental y ejemplos de conformidad. La visión de contratos, efectos, niveles y asistencia de IA es más amplia que ese subconjunto: no se presenta como un lenguaje completo ni como una plataforma terminada.
Límites explícitos
La verificación sólo cubre las capacidades implementadas y sus casos probados. No sustituye la revisión humana ni asegura que una IA haya interpretado correctamente un requisito. La web y documentación oficial se reservan para acceso privado; playground y descargas requieren autorización, y el código fuente permanece privado.