Abstract:
Рассмотрен один из наиболее перспективных подходов к реализации компиляторов для функциональных языков с «энергичной» семантикой, таких как Scheme и ML. В качестве примера использован компилятор Gambit-C для языка Scheme. Приведено краткое описание языка Scheme. Рассмотрены принципы компиляции программ на языке Scheme. Исследована проблема свободных переменных. Проведен анализ возможных решений проблемы остаточных вычислений.