Здравствуйте, DSblizzard, Вы писали:
DS>1) Сколько времени и памяти занимает суперкомпиляция по сравнению с обычной компиляцией? Насколько больше по размеру программа после суперкомпиляции?
DS>2) Говорят, частичные вычисления не дружат с побочными эффектами. Насчет суперкомпиляции это тоже верно?
DS>3) Как вы думаете, почему суперкомпиляторы не входили в мэйнстрим и до сих пор бы не вошли, если бы этим не занялся сам Турчин? Только из-за сложности реализации?
На такие вопросы в двух словах ответить невозможно... Поэтому, я решил создать блог
и в нём попытаться написать о состоянии дел с суперкомпиляции. (Включая и такие подробности, о которых обычно умалчивают в "научных" статьях.) Пока что, в этот блог послания отправлял только я, но у блога несколько "авторов", и желающие в нём что-то выставить — приглашаются.
Есть возможность записываться и в "друзья" блога (по-английски это называется followers). Для этого вверху надо кликнуть по надписи "follow blog". После этого можно будет отслеживать, что происходит в блоге через Google Reader.
Также существует и группы
Сообщений в этих группах не так уж и много, но зато почти все их члены — люди, как-то связанные с суперкомпиляцией и специализацией программ.
Другой вопрос: а есть ли возможность "пощупать" суперкомпиляторы "вживую"? Чтобы у "простого народа" была возможность "потыкать ломиком" в суперкомпиляторы, мы (я + Илья Ключников), выставили через веб-интерфейс на растерзание публике два суперкомпилятора
Первый из них (SPSC) обрабатывает программы на функциональном языке первого порядка (не ленивом), а второй (HOSC) — на ленивом функциональном языке с функциями высших порядков. Веб-приложения, через которые доступны эти суперкомпиляторы, находятся здесь:
Можно посмотреть заранее заготовленные задания на суперкомпиляцию, а можно добавить и свои задания. Для этого требуется иметь Гугл-аккаунт и сделать Sign in в веб-приложения.
В Гугл-коде также выставлены и исходные тексты специализатора (частичного вычислителя) Unmix:
Версия работает, если её запускать через Guile (одна из реализаций Scheme). Но сайт проекта должным образом пока не оформлен (в вики ещё нет ни одной страницы). Но среди исходных текстов есть текстовые файлы, которые содержат кое-какую документацию.
