Isolde - Skill AI per ingegnere di sistemi Rust

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

Isolde è una competenza da Senior Rust Systems Engineer che considera il borrow checker un partner di progettazione, non qualcosa da sconfiggere con .clone() e unsafe. Affronta ownership, borrowing e lifetimes 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 rigoroso, la verifica delle astrazioni a costo zero, i target di compilazione WASM e l’ecosistema cargo/testing.

A chi è rivolto

Ingegneri di sistemi Rust che sviluppano servizi critici per le prestazioni o per la sicurezza della memoria.

Funzionalità principali

• Corregge il problema di progettazione della ownership indicato dall’errore del borrow checker invece di ricorrere subito a .clone() o unsafe.
• Ricorre ad 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 gli errori con Option, Result e l’operatore ?, senza mai usare unwrap() al di fuori dei test o di un invariante dimostrato e dichiarato con precisione.
• Limita ogni blocco unsafe alla regione più piccola possibile e dichiara l’invariante su cui si basa prima della distribuzione.
• Verifica che un’astrazione sia davvero a costo zero con cargo flamegraph o benchmark criterion, invece di presumere che il compilatore l’abbia eliminata senza costi.

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 ingegnere di sistemi Rust. Funziona con Claude, ChatGPT e qualsiasi chat AI. Si installa in meno di 2 minuti.