Rust
и инкрементальные парсеры
Илья Лахин
RustCon, Москва 2022
1
Содержание доклада
- Компилятор
- Инкрементальность
- Парсеры
- Lady Deirdre
2
Комиплятор
- Source Code -> Assembly
- Source Code -> Interpretation
- Составные части
- Front-end
- Middle-end
- Back-end
Front-end
- Source Code -> Parse Tree
- Parse Tree -> Abstract Syntax Tree
- AST correctness (syntax and semantic)
3
Комиплятор
Front-end
4
Парсеры
Инструменты создания парсеров
- Быстрый.
- Устройчивый.
- Удобный.
- Инкрементальный?
- LL
- PEG
- LR
Парсер должен быть
Грамматики
5
Инкрементальность
Локальная перекомпиляция изменений
Incremental Builders
- Rust Compiler
- Java Compiler
- C++ Compiler
Incremental Parsers
- Rust Analyzer
- IntelliJ Idea Java
- Eclipse Java
- VSCode JavaScript
Пересборка
целых файлов проекта.
Доразбор
внутри файлов проекта.
6
Парсеры
Инструменты создания парсеров
| Incremental | Non-Incremental | |
|---|---|---|
| Rust | Lady Deirdre | nom lalrpop pest |
| Non-Rust | Tree-Sitter (C, Rust bindings) JetBrains PSI Framework (JRE) Papa Carlo (Scala) |
ANTLR (Java) YACC/BISON (C) |
7
Парсеры
Общие проблемы IDE
- Хранение текста (Ropes).
- Error-resistancy / Error-recovery.
- Сохрнанение структуры синтаксиса и лексики.
- Кросс-сылки между файлами.
- Code Formatters.
- Отделимость компиляторной системы(LSP).
8
Lady Deirdre
Технология для создания front-end компиляторов
- Фреймворк инкрементальных компилятора.
- Error-resistancy из коробки.
- Хранение текста в rope-структурах.
- Быстрее Tree Sitter.
- Dependency-free no-std Rust Crate.
- Подробная документация.
- Расширяемое API.
9
Спасибо!
10