Determinant es un experimento en etapa temprana que propone el Lenguaje de Aplicaciones Auditable (AAL) como una capa determinista entre la generación probabilística de IA y el software ejecutable. El sistema permite que un LLM genere AAL a partir de requisitos en lenguaje natural, los cuales los humanos revisan para verificar la corrección de la lógica de negocio antes de que un compilador tradicional genere código TypeScript.
- AAL se centra en dos conceptos principales: Object (que describe el estado de la aplicación) y Flow (que describe el comportamiento), evitando detalles de implementación como clases o métodos.
- La canalización de compilación convierte el AAL aceptado en un AST, realiza verificaciones semánticas y enlace, y produce TypeScript determinista para Node.js sin mayor intervención del LLM.
- Las características actuales incluyen campos tipados, condiciones, fallos explícitos, cálculos, cambios de estado, composición de flujos, tipos de dinero y soporte para dialectos en inglés y chino.
- El proyecto busca reducir el alcance de la incertidumbre de la IA permitiendo que los humanos auditen una descripción más pequeña y ejecutable en lugar de revisar miles de líneas de código generado.
El autor busca comentarios sobre si este límite de revisión es prácticamente útil y si AAL puede mantenerse legible mientras cubre un comportamiento de aplicación suficiente.