Cyra este un limbaj tipizat static, conceput pentru LLM, care compilează în bytecode BEAM. O singură sintaxă. Zero ambiguitate. Toată puterea Erlang.
Ce este Cyra?
Un limbaj cu exact o singură modalitate de a exprima fiecare construct, astfel încât fiecare token generat poartă încredere maximă.
Acolade și punct-și-virgulă în stil C. O singură formă canonică per construct. Maximizează încrederea per token pentru modelele de generare de cod.
Fiecare parametru și tip de retur declarat explicit. Verificare Hindley-Milner sub capotă. Fără presupuneri.
Actori, toleranță la defecte, reîncărcare de cod la cald, distribuție. Tot ce oferă Erlang/OTP fără a învăța sintaxa Erlang.
Adnotații @pre, @post, @invariant. Corectitudine verificabilă automat încă din prima zi.
Vezi cum funcționează
O buclă de proces cu funcții tipizate, potrivire de șabloane și transmitere de mesaje — totul într-o sintaxă familiară.
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);
}
}Cazuri de utilizare
Trimite un prompt către AI și primești un microserviciu funcțional. O singură sintaxă canonică înseamnă că fiecare linie generată este corectă—fără punct-și-virgulă halucinat.
Contractele de siguranță integrate detectează erorile înainte ca programul să ruleze. Compilatorul demonstrează corectitudinea, astfel încât nu trebuie să o faci tu.
Aplicații de chat, tablouri de bord live, servere de jocuri—milioane de utilizatori simultani, auto-vindecare implicită. Fără framework-uri suplimentare.
CI-ul tău scrie, testează și face deploy la cod Cyra—fără intervenție umană. Sintaxa deterministă înseamnă zero conflicte de formatare.
Treci de la un server la o sută. Nodurile se descoperă reciproc și se auto-vindecă automat între centre de date.
O singură sintaxă, un singur sens, zero neclarități. Revizuitorii AI înțeleg Cyra perfect—audituri în care chiar poți avea încredere.
Poziționare onestă
Cyra este construit special pentru generarea de cod de către LLM cu destinația BEAM. Nu încearcă să înlocuiască Python sau JavaScript.
Elixir este excelent pentru dezvoltatorii umani. Cyra este conceput pentru mașini care generează și verifică cod în mod autonom.
Cyra compilează în bytecode BEAM prin Core Erlang. Rulează pe aceeași mașină virtuală care susține Discord, Ericsson, Heroku, Nintendo și Cisco, printre multe alte produse și companii de succes.
Vizează aplicații OTP de producție cu supervizori, GenServers, reîncărcare de cod la cald și clustering distribuit.
Filosofie de design
"O formă, un sens"
Inspirat de Characteristica Universalis a lui Leibniz. Fiecare construct are exact o singură reprezentare sintactică, eliminând ambiguitatea atât pentru mașini, cât și pentru oameni.
"Mașini care rațonează"
Conceput pentru generare automată și verificare. Sistemul de tipuri, contractele și sintaxa deterministă fac posibil ca LLM-urile să producă cod demonstrabil corect.
"Pe umerii giganților"
Mașina virtuală BEAM este testată în luptă de-a lungul a decenii de telecomunicații și sisteme distribuite. Cyra moștenește totul — actori, toleranță la defecte, actualizări la cald — cu o sintaxă pe care mașinile o preferă.