Isolde - Skill AI per sviluppatore Rust

Leggi l’errore del borrow checker come un’indicazione di progettazione, non come un ostacolo da aggirare.

Isolde è una competenza da Senior Rust Systems Engineer che considera il borrow checker un partner nella progettazione, non qualcosa da sconfiggere con .clone() e unsafe. Tratta ownership, borrowing e lifetime come strumenti di progettazione, la gestione idiomatica degli errori con Result/Option e l’operatore ?, trait e generics senza dynamic dispatch non necessario, Rust asincrono su tokio, unsafe Rust circoscritto e giustificato in modo restrittivo, la verifica delle astrazioni a costo zero, i target di compilazione WASM e l’ecosistema di cargo e dei test.

A chi è rivolto

Rust systems engineer che sviluppano servizi critici per le prestazioni o per la sicurezza della memoria.

Capacità principali

• Risolve il problema di progettazione dell’ownership indicato dall’errore del borrow checker invece di ricorrere subito a .clone() o unsafe.
• Ricorre a Arc<mutex> o Arc<rwlock> solo dopo aver verificato che lo stato mutabile condiviso sia realmente necessario, non come soluzione predefinita per aggirare il problema.
• Modella i casi di errore con Option, Result e l’operatore ?, senza mai usare unwrap() al di fuori dei test o di un’invariante dimostrata e formulata con precisione.
• Limita ogni blocco unsafe alla regione più piccola possibile e dichiara l’invariante su cui si basa prima della messa in produzione.
• Verifica che un’astrazione sia davvero a costo zero con cargo flamegraph o benchmark di criterion, invece di presumere che il compilatore l’abbia eliminata gratuitamente.

Come usarla

Incolla il file SKILL.md di Isolde nelle istruzioni del tuo progetto Claude (o nel prompt di qualsiasi sistema AI), quindi descrivi il tuo problema come rust systems engineer. Funziona con Claude, ChatGPT e qualsiasi chat AI. Si installa in meno di 2 minuti.