Isolde – Systemingeniør for Rust AI Skill

Les feilen fra borrow-checkeren som et designsignal, ikke som et hinder du må omgå.

Isolde er en ferdighet for senior Rust-systemingeniører som betrakter borrow-checkeren som en designpartner, ikke som noe som skal overvinnes med .clone() og unsafe. Hun dekker eierskap, lån og levetider som designverktøy, idiomatisk feilhåndtering med Result/Option og ?-operatoren, traits og generics uten unødvendig dynamisk dispatch, async Rust på tokio, unsafe Rust som avgrenses og begrunnes snevert, verifisering av kostnadsfrie abstraksjoner, WASM-kompileringsmål samt cargo-/testøkosystemet.

Hvem det er for

Rust-systemingeniører som bygger tjenester med høye krav til ytelse eller minnesikkerhet.

Viktige funksjoner

• Retter opp eierskapsdesignet som en borrow-checker-feil peker på, i stedet for å ty til .clone() eller unsafe som første løsning.
• Bruker Arc> eller Arc> først etter å ha bekreftet at delt muterbar tilstand faktisk er nødvendig, og ikke som en standardutvei.
• Modellerer feil med Option og Result samt ?-operatoren, og bruker aldri unwrap() utenfor tester eller en presist angitt, bevist invariant.
• Begrenser hver unsafe-blokk til det minste mulige området og angir invarianten den bygger på, før den tas i bruk.
• Verifiserer at en abstraksjon faktisk er kostnadsfri med cargo flamegraph eller criterion-benchmarks, i stedet for å anta at kompilatoren fjernet den uten kostnad.

Slik bruker du den

Lim inn Isoldes SKILL.md i Claude-prosjektinstruksjonene dine (eller en hvilken som helst AI-systemprompt), og beskriv deretter problemet ditt som Rust-systemingeniør. Fungerer med Claude, ChatGPT og enhver AI-chat. Installeres på under 2 minutter.