Неформально об оптимальной редукции - 11 Сентября 2015

Главная » 2015 » Сентябрь » 11 » Неформально об оптимальной редукции

07:45 Неформально об оптимальной редукции
Здравствуйте!Я хотел бы обратиться с предложением общими усилиями разобраться в теме оптимальной редукции и попытаться составить компактное изложение материала.Есть некоторое количество работ по этой теме. Наиболее полная монография из мне известных — это «The Optimal Implementation of Functional Programming Languages». Например, в Википедии я нашёл лишь одно упоминание в контексте линейной логики (которая, кстати, тоже освещена в упомянутой книге). Мне кажется, что это упущение, и стоит осветить данные конструкции, а то дальше «call-by-need» вычислительные стратегии толком не освещены, хотя её для оптимальной редукции не достаточно.Будет замечательно, если удастся составить объяснение «на пальцах» и попытаться компактно изложить тему. Я недавно столкнулся с тем, что задавая вопросы, связанные с данной темой, на ответ расчитывать не приходится, так как порог входа неадекватно высок из-за небольшого количества менее формальных источников, чем собственно статья Леви, Лэмпинга и упомянутой монографии.Был бы признателен тем, у кого найдётся возможность откликнуться.
1 2 3 4 5 Просмотров: 521 \| Добавил: admin \| Рейтинг: 0.0/0