Pré-1.0 · compilador operacional

Construa pequeno.
Mova-se rápido.

Uma linguagem de sistemas focada em iteração rápida, controle explícito de baixo nível e uma especificação de linguagem pequena o suficiente para ser mantida no contexto.

Desenvolvido por Aerun.ai.

olá.sd
use "io"

fn main() -> result<i64, io_error> {
    println("Hello, world!")?
    result.ok(0)
}

Por que uma nova linguagem?

seed explora um design compacto de linguagem de sistemas com compensações explícitas.

Idioma Troca seed
C/C++ Rápido, mas inseguro — segfaults, buffer overflows, use-after-free Propriedade, recursos lineares, visões lexicais e insegurança explícita
Rust Complexidade segura e rápida, mas brutal – verificador de empréstimos, vidas úteis, imposto assíncrono Nenhuma sintaxe vitalícia; movimentos, visualizações e limpeza permanecem explícitos
Simples, mas o GC pausa, sem controle de memória, sem nível de sistema Sem GC; limpeza determinística e efeitos de alocação explícita
Python/JS Produtivo, mas com tempo de execução lento, pesado, não para trabalho de sistemas Pipeline LLVM nativo com linhas de base medidas e específicas da carga de trabalho
Java/C# VM robusta, mas detalhada, pesada, aquecimento lento Sem VM ou aquecimento; o perfil de tempo de execução é selecionado por destino
Tudo acima LLM-hostil – especificações enormes, contexto cheio de casos extremos Gramática compacta mais uma habilidade de agente versionada

As linguagens existentes foram projetadas antes do LLM era. seed foi projetado por isso - simples o suficiente para um LLM raciocinar como um todo, mantendo ao mesmo tempo o controle explícito dos sistemas. O habilidade com check-in mantém os agentes na mesma sintaxe e contrato de propriedade como o compilador operacional.

Por que seed?

Construído do zero. Sem limitações externas.

Compilações rápidas

LLVM IR é o back-end canônico. O alvo são loops edit/check apertados com construções incrementais rápidas. Compilação em nível de objeto para iteração rápida.

🔒

Seguro por Construção

Copiar escalares, recursos somente de movimentação, clone explícito, visualizações lexicais, linear t, limpeza exata e sem GC.

🌱

Tempo de execução explícito

Perfis hospedados, independentes, de kernel e de tempo de execução tornam visíveis os serviços de plataforma e os limites inseguros.

🚀

Multi-alvo

Linux é primário; Windows x86-64 passa no Wine, macOS x86-64 roda no Intel e outros alvos publicam seu nível object/link/run exato.

🔧

Orientado para Expressão

Cada construção retorna um valor. ADTs, correspondência, ?T opcionais, propagação de resultados com ?. Simultaneidade estruturada com spawn.

💡

LLM-Nativo

Gramática compacta. Cabe em uma única janela de contexto. Tanto os humanos quanto os agentes de IA podem ter em mente toda a linguagem.

Ecossistema em crescimento

252 Grove diretórios de biblioteca, 11 aplicativos e 20 pacotes de estágio de compilador na árvore atual. A contagem do diretório é inventário, não prontidão.

252
Grove diretórios
grove/libs/
11
Aplicativos
grove/apps/
20
Pacotes principais
compiler/llvm/libs/
283
Total
bibliotecas + aplicativos + núcleo

Roteiros de produtos

O que está operacional, o que é uma base testada e o que vem a seguir.

CLI e TUI

Fundação. G08 análise portátil fechada, ajuda, conclusão, superfícies, layout e instantâneos. A propriedade interativa do terminal/process permanece em seguida.

Web e desktop

Fundação/protótipo. Rede e HTTP existem camadas políticas; o tempo de execução da web integrado e um verdadeiro window/renderer ciclo de vida ainda estão abertos.

Móvel

Android fatia operacional. Host JNI, quadros Canvas, entrada e execução de AVD funcionam para arm64/x86-64. Widgets completos, acessibilidade, assinatura e iOS permanecem abertos.

Ridge DB

Ativo v0.3. A base V3-G0-G13 está completa; V3-G14-G25 possui a expansão da produção local. v0.2 P13 foi dispensado, não relatado como aprovado.

Jogo e UI adaptável

Protótipo. Existem pacotes de matemática, tempo, layout, entrada e UI. Renderizador, áudio, ativos, empacotamento e uma linha de base executável do jogo são os próximos.

AM e LLM

Fundação de metadados. Existem tensores próprios, conjuntos de dados, configuração de modelo e contratos experimentais; kernels numéricos, treinamento e execução de inferência permanecem abertos.

Uma cópia. Cada projeto.

Não node_modules inchar. Nenhuma duplicata por projeto.

💾

Cache de versão global

Cada versão de cada lib vive uma vez ~/.local/lib/seed. Dez projetos que usam a mesma versão da biblioteca compartilham uma cópia.

📈

Vinculação dinâmica

Link de compilação padrão contra .so arquivos no cache. seed build --static para binários independentes.

🔒

Simultaneidade segura

flock mutex + atômico rename(2). Dois projetos em execução seed install simultaneamente, nunca corrompam o download um do outro.

🗃

Remover automaticamente

seed uninstall remove pacotes de forma limpa. seed prune limpa o cache de origem. Não há gigabytes de dependências mortas.

🛰

Amigável off-line

Depois de baixado, o cache atende todas as compilações sem acesso à rede. Bloqueie os arquivos fixando versões exatas para que as compilações possam ser reproduzidas offline.

📋

Checksum verificado

Cada versão em cache registra uma soma de verificação em seed.lock. Adulteração ou corrupção são detectadas em cada compilação.

Todas as dependências vivem sob ~/.local/lib/seed - não no diretório do seu projeto.

Sintaxe simples e poderosa

Conceitos familiares, cerimônia zero.

estruturas.sd
struct point {
    x: i32
    y: i32
}

fn point.distance_squared(other: point) -> i32 {
    let dx = self.x - other.x
    let dy = self.y - other.y
    dx * dx + dy * dy
}

fn main() -> i32 {
    let origin = point.{ x: 0, y: 0 }
    let target = point.{ x: 3, y: 4 }
    origin.distance_squared(target)
}
simultaneidade.sd
use "task"

fn main() -> i64 {
    let pair = channel_new<i32>(1).or_abort()
    let sender = pair.sender
    let receiver = pair.receiver
    spawn {
        let _done = sender.send(42)
    }
    let received = receiver.recv()
    match received.value {
        some(value) => if value == 42 { 0 } else { 1 }
        none => 2
    }
}

O que seed remove

Omissão é design. O que deixamos de fora define a linguagem.

verificador de empréstimo
propriedade, recursos lineares e visualizações lexicais sem sintaxe vitalícia
async/await
simultaneidade estruturada com spawn
genéricos de tempo de execução
genéricos monomorfizados + fns inline
nulo
tipo opcional ?T
exceções
ADTs + operador try
aulas
estruturas + métodos
sobrecarga do operador
métodos explícitos
macros
fns embutidos + genéricos

Direção de licenciamento

seed é atualmente proprietário e em pré-lançamento. Os planos finais, preços e termos de suporte ainda não foram enviados.

Contrato de linguagem coerente

O compilador, a especificação, o livro, a habilidade do agente e a evidência do portão evoluem juntos em torno de uma implementação operacional.

Evidências antes das reivindicações

O trabalho pré-1.0 é relatado por meio de portas nomeadas, níveis-alvo e linhas de base reproduzíveis. A prontidão do produto não é inferida da presença da fonte.

Visibilidade do roteiro

Idioma, CLI, TUI, web, dispositivos móveis, Ridge, jogos, ML e faixas de sistemas publicam seu estágio atual e o próximo limite de evidência.

O código que você escreve é seu. Propriedade total. Sem restrições. Sem royalties. Você envia, você é o dono – para sempre.

O licenciamento comercial é a direção atual. Disponibilidade de concreto, compromissos de preço, compatibilidade e suporte serão publicados com a liberação que os fornece.

Seja o primeiro a saber

seed será lançado em breve. Deixe seu e-mail e avisaremos assim que estiver disponível.