calor

Calor est un langage de programmation spécifiquement conçu pour les agents de codage IA, compilant vers .NET via l'émission C#. Les langages traditionnels sont construits pour les humains, forçant les agents IA à inférer le sens sémantique—tel que les effets secondaires, les contrats et les limites de portée—à partir d'une syntaxe implicite. Calor élimine cette inadéquation en rendant ces éléments explicites dans le langage lui-même. Les principes fondamentaux comprennent les déclarations d'effets explicites (par exemple, §E{cw, fs:r, net:rw}), les préconditions et postconditions de première classe (§Q et §S), les identificateurs stables facultatifs pour une référence précise lors des refactorisations, les blocs basés sur l'indentation pour réduire le coût des jetons, et les opérateurs de style Lisp pour une sémantique lisible par machine. Cette conception échange l'efficacité brute des jetons contre la clarté sémantique, permettant aux agents de raisonner sur le comportement du code, de détecter les violations de contrat et d'effectuer des éditions précises sans analyse approfondie. Calor est livré avec un serveur de langage de première classe (LSP) prenant en charge les diagnostics, l'accès à la définition, les références, le renommage, la mise en forme et les jetons sémantiques. Il comprend également un serveur MCP (protocole de contexte de modèle) exposant 19 outils pour la compilation, la vérification, la navigation dans le code, l'analyse, la migration, la vérification et l'aide à la syntaxe, permettant aux agents IA d'interagir directement avec le compilateur. Une intégration rapide est fournie pour Claude Code, OpenAI Codex CLI, Google Gemini CLI et GitHub Copilot, avec une configuration automatique des instructions de projet et des paramètres MCP. Le projet est ouvert aux contributions, en particulier pour l'évaluation comparative, l'amélioration du parseur et la documentation.