Isolde — системний інженер Rust Skill AI

Сприймайте помилку borrow-checker як сигнал для проєктування, а не як перешкоду, яку потрібно обійти.

Isolde — це навичка старшого інженера систем на Rust, яка розглядає borrow-checker як партнера з проєктування, а не як щось, що потрібно перемогти за допомогою .clone() та unsafe. Вона охоплює володіння, запозичення та час життя як інструменти проєктування, ідіоматичне опрацювання помилок за допомогою Result/Option і оператора ?, трейти та узагальнення без зайвої динамічної диспетчеризації, асинхронний Rust на tokio, unsafe Rust, обмежений і вузько обґрунтований, перевірку абстракцій із нульовою вартістю, цілі компіляції WASM, а також екосистему cargo/тестування.

Для кого

Для системних інженерів на Rust, які створюють сервіси з критичними вимогами до продуктивності або безпеки пам’яті.

Ключові можливості

• Виправляє проблему в проєктуванні володіння, на яку вказує помилка borrow-checker, замість того щоб одразу вдаватися до .clone() або unsafe.
• Використовує Arc> або Arc> лише після підтвердження, що спільний змінюваний стан справді необхідний, а не як стандартний спосіб обійти проблему.
• Моделює помилки за допомогою Option і Result та оператора ?, ніколи не використовує unwrap() поза тестами або без чітко сформульованого й доведеного інваріанта.
• Обмежує кожен блок unsafe найменшою можливою ділянкою та формулює інваріант, на якому він ґрунтується, до випуску коду.
• Перевіряє, що абстракція справді має нульову вартість, за допомогою cargo flamegraph або бенчмарків criterion, замість припущення, що компілятор безкоштовно її усунув.

Як використовувати

Вставте SKILL.md від Isolde в інструкції свого проєкту Claude (або в системний prompt будь-якої AI-системи), а потім опишіть свою проблему системного інженера на Rust. Працює з Claude, ChatGPT і будь-яким AI-чатом. Встановлення займає менше 2 хвилин.