CodeSpeak - le nouveau langage du créateur de Kotlin : dialoguer avec les LLM via des specs plutôt qu’en anglais

• Langage de programmation de nouvelle génération basé sur les LLM, capable de réduire la taille d’une codebase de 5 à 10 fois
• Au lieu d’écrire du code, le développeur rédige des specs concises, puis le code est généré automatiquement avec la commande codespeak build
• Quand une spec change, le système convertit automatiquement le diff de la spec en diff de code et l’applique
• Prend aussi en charge les projets mixtes où coexistent code écrit manuellement et code généré, avec une amélioration du taux de réussite des tests constatée sur des cas open source réels
• Met l’accent sur l’ingénierie en équipe pour gérer des logiciels complexes, et vise un environnement de développement plus humain grâce à une maintenance centrée sur les specs

---

Présentation de CodeSpeak

• CodeSpeak est un langage de programmation de nouvelle génération propulsé par les LLM, qui vise à réduire une codebase d’un facteur 5 à 10
  • D’après la description du site, l’efficacité est mise en avant par la formule « Shrink your codebase 5–10x »
• Ce langage se présente comme un outil pour construire des systèmes de niveau production, conçu non pour de simples prototypes mais pour des projets de long terme
• Il cible principalement les équipes d’ingénieurs qui développent des logiciels complexes, avec une orientation vers le développement collaboratif plutôt que vers un codage expérimental centré sur un développeur seul

Développement piloté par les specs

• Le cœur de CodeSpeak repose sur la philosophie « Maintain Specs, Not Code »
  • Le développeur rédige des specs concises, puis le code est généré automatiquement avec la commande codespeak build
  • Quand une spec est modifiée, le système convertit automatiquement le diff de la spec en diff de code
• Cette approche souligne qu’il est plus facile pour les humains de maintenir et gérer des specs que du code

Prise en charge des projets mixtes

• CodeSpeak prend en charge les projets où coexistent code manuel et code généré
  • Un exemple présenté est un fork du dépôt MarkItDown de Microsoft
  • Un guide tutoriel est proposé pour traiter pas à pas les projets mixtes

Fonction code → spec (à venir)

• CodeSpeak prépare une fonction de conversion de code existant en specs
  • Cela permettrait de remplacer une partie du code existant par des specs 5 à 10 fois plus compactes
  • Le projet insiste sur le fait que la maintenance des specs est plus adaptée aux humains que celle du code

Études de cas réelles

• CodeSpeak a testé la conversion en specs de plusieurs codes de projets open source
  • Prise en charge des sous-titres WebVTT dans yt-dlp : 255 LOC → 38 LOC, réduction par 6,7, 37 tests ajoutés
  • Générateur de SSN italien dans Faker : 165 LOC → 21 LOC, réduction par 7,9, 13 tests ajoutés
  • Détection automatique d’encodage dans beautifulsoup4 : 826 LOC → 141 LOC, réduction par 5,9, 25 tests ajoutés
  • Convertisseur EML→Markdown dans markitdown : 139 LOC → 14 LOC, réduction par 9,9, 27 tests ajoutés
• Dans chaque cas, le taux de réussite des tests a été maintenu ou amélioré, ce qui montre l’efficacité de l’approche fondée sur les specs

Résumé

• CodeSpeak est un langage de programmation IA centré sur les specs, qui combine génération automatique de code et efficacité de maintenance
• Ses principales caractéristiques sont la génération de code basée sur les LLM, la synchronisation spec-code et la prise en charge des projets mixtes
• Des cas concrets montrent une réduction du code et une amélioration des tests, ce qui laisse entrevoir un gain de productivité pour l’ingénierie logicielle en équipe