001. Построение компилятора на базе LLVM - Павел Сычев
Разные компиляторы: Введение в мир компиляции
Компиляторы играют ключевую роль в процессе разработки программного обеспечения, переводя код, написанный на высокоуровневых языках программирования, в машинный код, который может выполняться процессором. В этом посте мы рассмотрим различные типы компиляторов, их особенности и примеры использования. Компилятор — это программа, которая принимает исходный код, написанный на одном языке программирования (обычно высокоуровневом), и преобразует его в другой язык (обычно низкоуровневый или машинный код)...
✨ «Рассчитанный типизатор»: Как математика упрощает создание компиляторов и систем типов
🔍 Когда программист пишет код, он не всегда задумывается о том, что происходит за кулисами компилятора. Однако именно там разворачивается самая интересная магия — превращение абстрактных конструкций в проверенные и надёжные программы. Недавно исследователи из Ноттингемского университета (Великобритания) и IT-университета в Копенгагене (Дания) предложили элегантный подход к разработке проверяющих типов программ (type checker). Они назвали его The Calculated Typer («Рассчитанный типизатор»). Традиционно...