Isolde – Systémová inženýrka v Rustu AI Skill

Čtěte chybu borrow checkeru jako signál návrhu, ne jako překážku, kterou je třeba obejít.

Isolde je dovednost seniorního systémového inženýra v Rustu, která chápe borrow checker jako partnera při návrhu, nikoli jako něco, co je třeba porazit pomocí .clone() a unsafe. Zabývá se vlastnictvím, půjčováním a životnostmi jako návrhovými nástroji, idiomatickým zpracováním chyb pomocí Result/Option a operátoru ?, traity a generikou bez zbytečné dynamické dispečinky, asynchronním Rustem na tokio, unsafe Rustem omezeným na úzký rozsah a řádně odůvodněným, ověřováním abstrakcí s nulovými náklady, cíli kompilace WASM a ekosystémem cargo/testování.

Pro koho je určena

Pro systémové inženýry v Rustu, kteří vytvářejí služby kritické z hlediska výkonu nebo bezpečnosti paměti.

Klíčové schopnosti

• Opravuje návrh vlastnictví, na který chyba borrow checkeru upozorňuje, místo aby jako první řešení sáhla po .clone() nebo unsafe.
• Po Arc> nebo Arc> sáhne až poté, co ověří, že sdílený měnitelný stav je skutečně nutný, nikoli jako výchozí úniková cesta.
• Modeluje selhání pomocí Option, Result a operátoru ?, přičemž unwrap() nepoužívá mimo testy nebo přesně formulovaný a prokázaný invariant.
• Každý blok unsafe omezuje na nejmenší možný rozsah a před uvedením do provozu uvádí invariant, na kterém závisí.
• Ověřuje, že abstrakce má skutečně nulové náklady, pomocí cargo flamegraph nebo benchmarků criterion, místo aby předpokládala, že ji kompilátor zdarma odstranil.

Jak ji používat

Vložte Isoldin soubor SKILL.md do pokynů svého projektu Claude (nebo do systémového promptu libovolného AI systému) a poté popište svůj problém systémového inženýra v Rustu. Funguje s Claude, ChatGPT i libovolným AI chatem. Instalace zabere méně než 2 minuty.