scp-notes-ru

Заметки о суперкомпиляции

Послания Сергея Романенко

• Зачем понадобилось переносить заметки из blogspot.ru?
• Что такое суперкомпиляция?
• Обобщение конфигураций при суперкомпиляции
• Ранняя история суперкомпиляции
• С чем едят “гомеоморфное вложение”
• Какой язык лучше суперкомпилировать: “строгий” или “ленивый”?
• Отнесёмся к “ленивости” со всей “строгостью”! (Или что лучше, блондинки или брюнетки?)
• Что лучше: частичные вычисления или суперкомпиляция?
• Суперкомпиляция функций высших порядков
• Прогонка для функций высших порядков
• Проблемно-ориентированные языки и суперкомпиляция
• Многостадийное программирование, метавычисления и проблемно-ориентированные языки
• Что означает по-японски “Ёсихико Футамура”
• Проблемно-ориентированные языки с переменными и суперкомпиляция
• Специализация интерпретаторов и проблема устранения тегов
• Реализация недетерминизма в проблемно-ориентированных языках через абстрактный синтаксис высшего порядка
• Тёмные углы суперкомпилятора HOSC: неполные case-выражения и рекурсивные определения данных
• Превращение неявной рекурсии в явную с помощью суперкомпиляции
• Недетерминизм: выбор по надобности или выбор при вызове?
• Крупношаговая суперкомпиляция (big-step supercompilation)

Послания Ильи Ключникова

• Комбинаторные парсеры. Часть 1
• Саймон Пейтон Джонс о Meta 2010 и суперкомпиляции
• Перестройка сверху с откатами (rollbacks)

Первоначально, “Заметки” были выставлены в Интернете в виде посланий в блоге http://metacomputation-ru.blogspot.ru.