Воспринимайте ошибку borrow-checker как сигнал к проектированию, а не как препятствие, которое нужно обойти.
Isolde - это навык старшего инженера по системам на Rust, который рассматривает borrow checker как партнёра по проектированию, а не как то, что нужно одолеть с помощью .clone() и unsafe. Он охватывает владение, заимствование и времена жизни как инструменты проектирования, идиоматическую обработку ошибок с помощью Result/Option и оператора ?, трейты и обобщения без ненужной динамической диспетчеризации, асинхронный Rust на tokio, узко ограниченный и обоснованный unsafe Rust, проверку абстракций с нулевой стоимостью, цели компиляции WASM, а также экосистему cargo/testing.
Для кого
Для системных инженеров на 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 минут.