Cyra e uma linguagem com tipagem estatica, projetada para LLMs, que compila para bytecode BEAM. Uma unica sintaxe. Zero ambiguidade. Todo o poder do Erlang.
O que e Cyra?
Uma linguagem com exatamente uma forma de expressar cada construcao, para que cada token gerado carregue a maxima confianca.
Chaves e ponto-e-virgula no estilo C. Uma unica forma canonica por construcao. Maximiza a confianca por token para modelos de geracao de codigo.
Todos os parametros e tipos de retorno declarados explicitamente. Verificacao Hindley-Milner por baixo dos panos. Sem adivinhacao.
Atores, tolerancia a falhas, recarga de codigo a quente, distribuicao. Todo o poder do Erlang/OTP sem aprender a sintaxe do Erlang.
Anotacoes @pre, @post, @invariant.
Correcao verificavel por maquina desde o primeiro dia.
Veja em acao
Um loop de processo com funcoes tipadas, pattern matching e troca de mensagens — tudo em uma sintaxe 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);
}
}Casos de uso
Envie um prompt para sua IA, receba um microsservico funcional. Uma unica sintaxe canonica garante que cada linha gerada esteja correta — sem ponto-e-virgula alucinados.
Contratos de seguranca integrados detectam bugs antes do codigo rodar. O compilador prova a correcao para que voce nao precise.
Apps de chat, dashboards ao vivo, servidores de jogos — milhoes de usuarios simultaneos, auto-recuperacao por padrao. Sem frameworks adicionais.
Seu CI escreve, testa e faz deploy do codigo Cyra — sem humano no loop. Sintaxe deterministica significa zero brigas de formatacao.
Va de um servidor para cem. Os nos se encontram e se auto-recuperam entre data centers automaticamente.
Uma sintaxe, um significado, zero adivinhacao. Revisores de IA entendem Cyra perfeitamente — auditorias em que voce realmente pode confiar.
Posicionamento honesto
Cyra foi construida especificamente para geracao de codigo por LLM direcionada ao BEAM. Ela nao tenta substituir Python ou JavaScript.
Elixir e brilhante para desenvolvedores humanos. Cyra foi projetada para maquinas que geram e verificam codigo de forma autonoma.
Cyra compila para bytecode BEAM via Core Erlang. Ela roda na mesma VM que alimenta Discord, Ericsson, Heroku, Nintendo e Cisco, entre muitos outros grandes produtos e empresas.
Voltada para aplicacoes OTP em producao com supervisores, GenServers, recarga de codigo a quente e clusterizacao distribuida.
Filosofia de design
"Uma forma, um significado"
Inspirado pela Characteristica Universalis de Leibniz. Cada construcao tem exatamente uma representacao sintatica, eliminando ambiguidade tanto para maquinas quanto para humanos.
"Maquinas que raciocinam"
Projetada para geracao e verificacao automatizada. O sistema de tipos, os contratos e a sintaxe deterministica tornam possivel para LLMs produzir codigo provadamente correto.
"Sobre ombros de gigantes"
A VM BEAM e testada em batalha ao longo de decadas de telecomunicacoes e sistemas distribuidos. Cyra herda tudo isso — atores, tolerancia a falhas, atualizacoes a quente — com uma sintaxe que as maquinas preferem.