Реклама. ООО «ЛитРес», ИНН: 7719571260.
Предисловие
Назначение данной публикации и целевая аудитория
Основные задачи публикации
Целевая аудитория
Кто может не найти эту книгу подходящей
Рекомендации по использованию книги
Глава I Давайте спроектируем собственный язык программирования!
Глава I
1.1 Семантика
1.1.1 Вычисления
1.1.2 Типы
1.1.3 Унификация
1.2 Синтаксис
1.2.1 Определение синтаксиса
1.2.2 Методы определения синтаксиса
1.2.3 Определение синтаксических правил для собственного языка
На этом мы завершили определение
Синтаксические правила реальных языков программирования
Глава 2 Давайте реализуем парсер!
Глава 2
2.1 Использование nom
2.1.1 Парсинг конкретных строк
2.1.2 Комбинирование парсеров
2.1.3 Повторение
2.1.4 Альтернативы (Alternatives)
2.1.5 Преобразование результатов парсинга
2.2 Определение структуры
2.3 Реализация парсера
2.4 Кастомизация и обработка ошибок
2.4.1 Создание кастомного типа ошибки
2.4.2 Возврат подробных сообщений об ошибках
2.4.3 Стратегии тестирования ошибок
Заключение к Главе 2
Глава 3 Давайте реализуем компилятор!
Глава 3
3.1 Реализация проверки типов и вывода типов
3.1.1 Представление типов
3.1.2 Типовая среда (Env)
3.1.3 Вывода типов для выражения x +1
3.1.4 Реализация простого анализатора типов
3.1.5 Метод для выполнения унификации
3.2 Реализация компилятора с использованием LLVM
3.2.1 Подготовка окружения LLVM
3.2.2 Структура компилятора
3.2.3 Компиляция выражений
3.2.4 Компиляция операторов
3.2.5 Полная компиляция программы
3.2.6 Итоговая реализация компилятора
Глава 4 Заключение
Глава 4
Литература
Автор
Здравствуйте, меня зовут Андрей.
Благодарю вас за внимание к этой книге, посвящённой созданию компилятора для собственного языка программирования на языке Rust. Если вы читаете эту публикацию, значит, вы интересуетесь теорией языков программирования или развитием практических навыков с использованием Rust. Как автор, я разделяю этот интерес, активно изучая языки программирования, их теоретические основы и экосистему Rust в профессиональной деятельности.
.....
• Разбор на подвыражения: Алгоритм разбивает входные термы на их составные части, такие как функции, переменные и константы, чтобы сравнить их структуру.
• Пошаговая унификация: Алгоритм последовательно проверяет термы и переменные, начиная с их корневых элементов. Если термы имеют одинаковую структуру (например, оба являются вызовами функции с одинаковым именем), унификация продолжается для их аргументов.
.....