Тема: языки-программирования

Статья

Семантический анализ: области видимости, таблицы символов, разрешение имён

Фаза, связывающая каждое имя с его объявлением: лексические области видимости, таблица символов, слоты кадра и захват переменных замыканиями, порядок объявлений в разных …

#компиляторы#языки программирования#области видимости

Статья

Промежуточное представление: IR, SSA, зачем нужен средний слой

Почему после проверки типов дерево выбрасывают: трёхадресный код, базовые блоки и граф потока управления, доминаторы и фронт доминирования, построение SSA по Cytron и …

#компиляторы#ir#ssa

Статья

Проверка и вывод типов: системы типов, унификация, Хиндли-Милнер

Как компилятор доказывает, что программа не сложит число со строкой: суждения типизации, бидирекциональная проверка, унификация с occurs check и полный алгоритм Хиндли — …

#компиляторы#типы#вывод типов

Статья

Парадигмы программирования: карта, история и как они связаны

Обзорная статья трека: что такое парадигма как инженерное понятие, по каким осям парадигмы различаются, откуда они взялись исторически, как они смешиваются в реальных …

#парадигмы#проектирование#функциональное программирование

Статья

Компиляторы: карта трека и что происходит между кодом и процессором

Обзор трека: как текст программы превращается в исполняемые инструкции, из каких фаз собран компилятор, чем он отличается от интерпретатора и JIT, и какой маленький язык …

#компиляторы#языки программирования#интерпретаторы

Статья

Генерация кода: целевые архитектуры, распределение регистров, ABI

Как оптимизированное IR превращается в машинные инструкции: выбор инструкций и покрытие дерева плитками, анализ живости, распределение регистров раскраской графа и linear …

#компиляторы#кодогенерация#ассемблер

Статья

Виртуальные машины: стековые и регистровые, байткод, интерпретация

Второй бэкенд компилятора: как спроектировать набор инструкций, чем стековая машина отличается от регистровой, как устроены кадры, диспетчеризация и представление …

#компиляторы#виртуальные машины#байткод

Статья

Go: обзор языка и дорожная карта курса

Философия Go, ниши применения, зачем он нужен и как устроен этот курс от нуля до продакшена.

#go#обзор#дорожная карта

Статья

C# и .NET: обзор языка, философия и дорожная карта курса

Что такое современный C# и .NET, где он силён, как устроена экосистема и как проходить этот курс, чтобы уметь применять язык в проде.

#csharp#обзор#дорожная карта

Статья Рекомендуем

Архитектура

Все материалы в одном месте

#роадмап#навигация#обучение