Языки программирования и теория компиляции 5. Типизация. IR

Таймкоды: 00:00:00 - Стадия Elaboration 00:02:10 - AST и таблица символов 00:03:50 - Задачи семантического анализатора 00:04:46 - Visitor 00:07:40 - TypeCheckVisitor и IRTranslateVisitor 00:10:20 - Представление системы типов 00:12:43 - Архитектура TypeCheckVisitor 00:21:05 - L-value и R-value 00:23:50 - Проблема несовпадения типов 00:25:29 - Обход дерева визитором 00:26:29 - Неявная конвертация 00:28:19 - Проверка ООП конструкций 00:29:50 - Проверка вызова функций 00:32:12 - Перегрузка методов 00:36:40 - Проверка потока управления 00:38:47 - Аннотирование AST 00:40:58 - Трансляция в IR 00:44:40 - Древовидный IR 00:46:40 - Транслятор в IR - это Visitor 00:49:33 - Lvalue в IR 00:52:00 - Трансляция массивов 00:53:00 - Контекстно-зависимая трансляция 01:07:59 - Создание объектов - Аллокация 01:12:25 - От TreeIR к FlatIR 01:13:34 - Введение в LLVM IR 01:16:10 - Phi-узлы Дата лекции: 06.03.26 Лектор: Ахтямов Павел Ибрагимович Оператор: Александров Олег Монтажер: Гумерова Лэйла Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAva2FW6LfP4T6plOk5znQaNf Плейлист в ВК: https://vkvideo.ru/playlist/-206078025_253