Cyra est un langage à typage statique, conçu pour les LLM, qui compile en bytecode BEAM. Une seule syntaxe. Zéro ambiguïté. Toute la puissance d'Erlang.
Qu'est-ce que Cyra ?
Un langage avec exactement une seule façon d'exprimer chaque construction, afin que chaque token généré porte un maximum de certitude.
Accolades et points-virgules de style C. Une seule forme canonique par construction. Maximise la certitude par token pour les modèles de génération de code.
Chaque paramètre et type de retour est déclaré explicitement. Vérification Hindley-Milner sous le capot. Aucune supposition.
Acteurs, tolérance aux pannes, rechargement de code à chaud, distribution. Toute la puissance d'Erlang/OTP sans en apprendre la syntaxe.
Annotations @pre, @post, @invariant.
Correction vérifiable par la machine dès le premier jour.
Voyez-le en action
Une boucle de processus avec des fonctions typées, du filtrage par motif et du passage de messages — le tout dans une syntaxe familière.
module MyApp.Counter {
use IO;
// Process loop with state via recursion
fn counter_loop(count: int) -> void {
receive {
:increment => counter_loop(count + 1);
(:get, caller) => {
send(caller, (:count, count));
counter_loop(count);
}
:stop => :ok;
}
}
pub fn start() -> pid {
spawn(fn() -> void { counter_loop(0); });
}
@pre(n >= 0)
pub fn format_count(n: int) -> string {
"count: " <> Int.to_string(n);
}
}Cas d'usage
Donnez un prompt à votre IA, obtenez un microservice fonctionnel. Une syntaxe canonique unique garantit que chaque ligne générée est correcte — aucun point-virgule halluciné.
Les contrats de sûreté intégrés détectent les bogues avant l'exécution de votre code. Le compilateur prouve la correction pour que vous n'ayez pas à le faire.
Messageries instantanées, tableaux de bord en direct, serveurs de jeu — des millions d'utilisateurs simultanés, auto-réparation par défaut. Aucun framework supplémentaire.
Votre CI écrit, teste et déploie du code Cyra — sans intervention humaine. Une syntaxe déterministe signifie zéro conflit de formatage.
Passez d'un serveur à une centaine. Les nœuds se découvrent mutuellement et s'auto-réparent entre les centres de données automatiquement.
Une syntaxe, une signification, zéro approximation. Les réviseurs IA comprennent parfaitement Cyra — des audits auxquels vous pouvez vraiment faire confiance.
Positionnement honnête
Cyra est conçu spécifiquement pour la génération de code par LLM ciblant la BEAM. Il ne cherche pas à remplacer Python ou JavaScript.
Elixir est excellent pour les développeurs humains. Cyra est conçu pour les machines qui génèrent et vérifient du code de manière autonome.
Cyra compile en bytecode BEAM via Core Erlang. Il s'exécute sur la même machine virtuelle qui fait tourner Discord, Ericsson, Heroku, Nintendo et Cisco ainsi que de nombreux autres produits et entreprises.
Cible des applications OTP de production avec superviseurs, GenServers, rechargement de code à chaud et clustering distribué.
Philosophie de conception
« Une forme, une signification »
Inspiré de la Characteristica Universalis de Leibniz. Chaque construction possède exactement une seule représentation syntaxique, éliminant toute ambiguïté pour les machines comme pour les humains.
« Des machines qui raisonnent »
Conçu pour la génération et la vérification automatisées. Le système de types, les contrats et la syntaxe déterministe permettent aux LLM de produire du code prouvablement correct.
« Sur les épaules des géants »
La machine virtuelle BEAM est éprouvée depuis des décennies dans les télécommunications et les systèmes distribués. Cyra en hérite tout — acteurs, tolérance aux pannes, mises à jour à chaud — avec une syntaxe que les machines préfèrent.