Тема: интерпретаторы

Статья

Интерпретатор: явный стек, лимиты, хвостовые вызовы

Как flang 0.7.29 вычисляет программу: вычислитель написан на самом flang и работает как цикл над явным стеком кадров. Пределы шагов, глубины и памяти, коды отказа, …

#flang#интерпретаторы#вычислительные модели

Статья

Стратегии вычисления: нормальный порядок, аппликативный, ленивость

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

#лямбда-исчисление#функциональное программирование#ленивые вычисления

Статья

Свободные и связанные переменные, подстановка и захват имён

Разбираем, чем переменная-параметр отличается от переменной из внешнего мира, как правильно подставлять выражение вместо переменной и почему наивная замена букв ломает …

#лямбда-исчисление#функциональное программирование#замыкания

Статья

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

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

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

Статья

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

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

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