Playground Zero

Prova Zero nel browser

Zero è il nuovo linguaggio di programmazione di sistema di Vercel Labs, rilasciato per la prima volta a maggio 2026. In superficie somiglia a Rust, con pub fun, let mut, -> e parentesi per i generics, ma l'obiettivo del progetto è insolito: ogni parte della toolchain è pensata per essere letta, modificata e riparata dagli agenti AI con la stessa facilità con cui lo fanno le persone. La diagnostica arriva come JSON strutturato con codici di errore stabili, il compilatore può generare piani di correzione tipizzati e i binari pesano meno di 10 KiB. Il playground ti offre un editor pulito per esplorare il linguaggio senza installare nulla.

L'idea più caratteristica di Zero è l'I/O basato sulle capability. Non ci sono variabili globali implicite né uno stdout sempre disponibile: una funzione che vuole scrivere nel terminale deve ricevere un parametro World e chiamare world.out.write(...). Gli errori si propagano con raises e check invece che con eccezioni o panic, e i valori opzionali usano .has / .value al posto di null. Premi Esegui e l'editor compila il sorgente sul server e mostra l'output. Lo stdin non è ancora collegato perché Zero v0.1.3 non ha ancora un'API per lo stdin: usa invece std.args tramite il pannello Args.

Perché Zero è interessante

• I/O basato sulle capability: ogni effetto collaterale (stdout, file, rete) passa per un parametro World, quindi la firma di una funzione ti dice cosa può toccare. Niente variabili globali nascoste, nessun allocatore implicito, niente async a sorpresa.
• Toolchain pensata prima di tutto per gli agenti: zero genera diagnostica JSON stabile, zero fix --plan --json produce piani di correzione tipizzati e ogni sottocomando della CLI accetta --json, così gli agenti possono passarsi l'output invece di analizzarlo con le regex.
• Binari nativi minuscoli, spesso sotto i 10 KiB. Il compilatore usa generatori diretti per ELF, Mach-O, PE e WebAssembly, quindi non c'è nessuna dipendenza da LLVM da portarsi dietro.
• Sintassi familiare, sicurezza più rigorosa: sulla pagina somiglia a Rust, ma niente panic su null, nessun GC implicito e nessun flusso di controllo nascosto. Gli errori sono semplici valori che propaghi con check.

Cosa provare nel playground Zero

• Stampa qualcosa con world.out.write e guarda come l'annotazione raises ti obbliga a gestire il percorso di errore con check. È l'intero idioma di Zero per la sicurezza senza eccezioni, in un esempio minuscolo.
• Leggi un argomento da riga di comando con std.args.get(N) ed estrai il valore opzionale con .has / .value. Modifica i valori nel pannello Args sotto l'editor: vengono passati al programma quando premi Esegui, esattamente come un vero argv.
• Scrivi una piccola fun che restituisce una String, chiamala da main e guarda i tipi propagarsi. Zero deduce i generics in modo più aggressivo di Rust, quindi la maggior parte delle chiamate non ha bisogno di alcuna annotazione.

Domande frequenti su Zero