Sistemi funzionali a basso livello nel linguaggio Ante

Sviluppo sistemi funzionali a basso livello in Ante — un linguaggio di sistemi di ricerca che combina uno stile funzionale con la gestione manuale della memoria. Ante inferisce le durate al momento della compilazione, quindi ottieni la sicurezza di un controllore di prestiti e la libertà di allocazione manuale senza annotazioni esplicite obbligatorie. Inoltre, gli effetti algebrici ti permettono di esprimere I/O, stato, eccezioni e async come gestori di prima classe composabili invece di grovigli di callback o stato globale nascosto.

Cosa faccio: librerie e servizi critici per le prestazioni, allocatori e arene personalizzati, gestori di effetti per il tuo dominio, ponti FFI sicuri verso codice C esistente e un nucleo puramente funzionale attorno a una shell imperativa. Mantengo il focus su un comportamento della memoria prevedibile, astrazioni a costo zero e codice che rimane leggibile mentre cresce.

Come procede il lavoro: iniziamo con una breve fase di design per il modello dei dati e i confini degli effetti, poi costruisco in modo iterativo con test a ogni passo. Ante compila tramite LLVM, quindi profilo i percorsi caldi e ottimizzo il posizionamento della memoria, mantenendo le latenze uniformi. Ricevi codice sorgente documentato, configurazione di build e una guida in modo che il team possa mantenere il progetto.

Ante è un linguaggio di ricerca giovane, quindi sono onesto su ciò che è pronto per la produzione e ciò che è sperimentale. Se un componente ha bisogno di un runtime stabile, suggerirò un percorso ibrido. Scrivi il compito — lo valuterò direttamente.