Здравствуйте, меня зовут Андрей.
Благодарю вас за внимание к этой книге, посвящённой созданию компилятора для собственного языка программирования на языке Rust. Если вы читаете эту публикацию, значит, вы интересуетесь теорией языков программирования или развитием практических навыков с использованием Rust. Как автор, я разделяю этот интерес, активно изучая языки программирования, их теоретические основы и экосистему Rust в профессиональной деятельности.
Слова «компилятор» и «Rust» могут восприниматься как сложные для освоения. Мой опыт работы с Rust включает исследование языков программирования и систем их обработки, однако создание компиляторов остаётся областью, требующей углублённого изучения. Данная книга представляет собой систематическое изложение знаний, которые я накопил, и служит инструментом для их передачи читателям. Она предназначена для детального анализа процесса разработки компилятора, начиная с синтаксического анализа и заканчивая генерацией кода с использованием LLVM через библиотеку inkwell.
Я выражаю признательность своим коллегам, наставникам и старшим сотрудникам, которые внесли вклад в моё понимание систем обработки языков, теории типов и работы с Rust. Их опыт лёг в основу этой публикации, которая также является частью моего профессионального развития.
Это первое самостоятельное издание, и я осознаю возможные недочёты. Я буду благодарен за любые замечания, указывающие на ошибки или предлагающие улучшения, чтобы повысить качество материала.
Книга была написана параллельно с подготовкой моего доклада «Прикладные информационные технологии». Из-за ограничений времени я не смог провести все необходимые проверки, что может повлиять на полноту текста.
Назначение данной публикации и целевая аудитория
Эта публикация создана с целью предоставления систематического введения в разработку собственного языка программирования, основанного на идеях ML, с использованием Rust и библиотек nom и inkwell для интеграции с LLVM. Она предлагает пошаговое описание теоретических и практических аспектов создания компиляторов, включая анализ синтаксиса, семантику, проверку типов и генерацию кода.
Основные задачи публикации