Lancement de Jacquard : un nouveau langage de programmation conçu pour être écrit par l'IA et vérifié par l'humain
Des développeurs ont créé 'Jacquard', un langage expérimental dont la syntaxe a été optimisée par IA pour faciliter la génération automatique de code.
À l'ère de l'IA générative, un développeur a lancé 'Jacquard', un langage open source conçu spécifiquement pour un monde où l'IA rédige le code et l'humain le supervise. Son nom rend hommage aux métiers à tisser Jacquard, pionniers de la programmation par cartes perforées.
La particularité de Jacquard réside dans sa conception : le créateur a utilisé l'IA pour analyser les arbres syntaxiques abstraits (AST) de langages existants afin de synthétiser une structure que les modèles d'IA manipulent avec une précision maximale.
Le langage met l'accent sur la sécurité et la gestion des effets externes. Toute interaction avec le système de fichiers ou le réseau doit être explicitement définie dans les signatures de fonction, bloquant par défaut les actions non autorisées. Cela limite les risques liés au code généré automatiquement. De plus, Jacquard utilise une identité basée sur le contenu : il se concentre sur la sémantique plutôt que sur la forme. Ainsi, les changements de mise en forme, de commentaires ou de nommage de variables n'impactent pas la logique, facilitant le processus de vérification. Actuellement, Jacquard reste un prototype de recherche, non destiné à la production.
Jacquard illustre un changement de paradigme : concevoir des outils de développement non plus pour l'humain seul, mais pour une collaboration native avec l'IA, en priorisant la sécurité et la vérifiabilité.