MiniRust: базовый язык для спецификации Rust — Ральф Юнг скачать в хорошем качестве

MiniRust: базовый язык для спецификации Rust — Ральф Юнг

Реальные языки программирования часто страдают от печально известной недостаточной спецификации. Это особенно серьёзная проблема для языков, активно использующих неопределённое поведение (НП), поскольку это принципиально исключает возможность тестирования для определения спецификации: если программа содержит НП, её поведение во время выполнения может быть произвольным, поэтому по результатам такого тестирования невозможно сделать никаких выводов. В настоящее время обширные спецификации пишутся простым языком в аксиоматическом стиле, что создаёт множество проблем: спецификация неисполнима, поэтому её невозможно протестировать на соответствие замыслу авторов, и её сложно интерпретировать, что приводит к неоднозначности и противоречивым интерпретациям. Поскольку небезопасные программы на Rust могут страдать от НП, все эти проблемы затрагивают и Rust. Поэтому Rust нуждается в спецификации, которая гарантирует, что программисты и разработчики компиляторов согласуют, что является неопределённым поведением, а что нет. В этом докладе я представлю свой текущий проект MiniRust, базовый язык для Rust. MiniRust стремится быть полным, точным, исполняемым и доступным: MiniRust должен охватывать весь Rust посредством убывающей ступени, расширяющей Rust до MiniRust, однозначно определять поведение языка, предоставлять эталонный интерпретатор, который можно использовать для тестирования спецификации и в качестве тестового оракула для реализаций языка, а также быть доступным для разработчиков Rust. Мы надеемся, что MiniRust в конечном итоге станет частью официальной спецификации Rust. Вы можете найти Ральфа на: GitHub: https://github.com/RalfJung Веб-сайт: https://www.ralfj.de/ Этот доклад был представлен на конференции Rust Week 2025 в Утрехте, Нидерланды. Плейлист с другими докладами Rust Week 2025:    • RustWeek 2025 - All talks   Хотите посетить Rust Week 2026 лично? Перейдите по ссылке https://2026.rustweek.org