Изольда — AI Skill системного инженера на Rust

Воспринимайте ошибку 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 минут.