Determinant est une expérience en phase précoce qui propose le langage d'application auditable (AAL) comme couche déterministe entre la génération probabiliste de l'IA et les logiciels exécutables. Le système permet à un LLM de générer de l'AAL à partir d'exigences en langage naturel, que les humains examinent ensuite pour vérifier la correction de la logique métier avant qu'un compilateur traditionnel ne génère du code TypeScript.
- L'AAL se concentre sur deux concepts principaux : Object (décrivant l'état de l'application) et Flow (décrivant le comportement), évitant ainsi les détails d'implémentation tels que les classes ou les méthodes.
- Le pipeline de compilation convertit l'AAL accepté en AST, effectue des vérifications sémantiques et la liaison, et produit du TypeScript déterministe pour Node.js sans autre implication du LLM.
- Les fonctionnalités actuelles incluent des champs typés, des conditions, des échecs explicites, des calculs, des changements d'état, la composition de flux, les types monétaires, et le support des dialectes anglais et chinois.
- Le projet vise à réduire la portée de l'incertitude de l'IA en permettant aux humains d'auditer une description exécutable plus petite plutôt que de passer en revue des milliers de lignes de code généré.
L'auteur cherche des commentaires sur l'utilité pratique de cette frontière de révision et si l'AAL peut rester lisible tout en couvrant un comportement d'application suffisant.