Zero - un langage de programmation pour les agents

• Langage de programmation expérimental repensé depuis zéro chez Vercel Labs en partant de l’hypothèse que les agents sont les principaux utilisateurs
• Vise à être un langage explicite, apprenable à la volée, où Inspect·Repair est déterministe, avec priorité à la bibliothèque standard, et où il existe une voie clairement définie pour la plupart des tâches
• Le compilateur produit des informations structurées de diagnostic et de réparation pour permettre aux agents d’inspecter et de corriger eux-mêmes le code
• Caractéristiques clés de conception
  • Surface réduite (Small surface area) : vise un langage que les agents peuvent apprendre pendant qu’ils travaillent. Syntaxe régulière, peu de cas particuliers, et retour du compilateur indiquant la modification suivante
  • Priorité aux bibliothèques (Library first) : la plupart des programmes sont conçus pour démarrer à partir d’API de bibliothèque standard documentées plutôt que de packages
  • Inspectable par les outils (Inspectable by tools) : diagnostics, graphes, rapports de taille, explications et plans de réparation (repair plans) sont exposés sous forme de données structurées exploitables par les agents
• Exemple de code

  fn answer i32  
    ret + 40 2  
  pub fn main Void world World !  
    if == answer() 42  
      check world.out.write "math works\n"  
  

• Installation : curl -fsSL https://zerolang.ai/install.sh | bash

[heycalmdown]

Un Lisp sans parenthèses ?

[aer0700]

Je n’y avais pas particulièrement réfléchi, mais vu sous cet angle, ça a l’air vraiment excellent.

[jamiecha]

On sent une forte inspiration Rust simplifié, certains aspects rappellent Go... et d'autres Zig... c'est assez amusant.
Sur x86 Linux, le compilateur (binaire unique) fait 800 KB, et la taille du binaire de release construit à partir de hello.0 n'est que de 289 octets.
Il reste à voir si cela pourra aussi être utile pour des projets de grande envergure, et comment l'écosystème va se structurer, mais pour l'instant j'ai trouvé ça intéressant.