Список (нерешенных) проблем сложности, возникающих из PL

Какие основные открытые проблемы вычислительной сложности возникают из-за языков программирования, особенно из анализа и компиляции программ? Я ищу проблемы по линии «временная сложность вывода типа Хиндли-Милнера» или «временная сложность 0CFA» (хотя обе проблемы решены).

Пиппенгер (1) из 1996 года показывает, что (по некоторым предположениям) строгие (CBV) функциональные языки программирования асимптотически медленнее, чем императивные языки. Открыто, можно ли обобщить результат Пиппенгера на ленивые функциональные языки, как было указано в (2).

Пиппенгер налагает два упрощающих допущения (онлайн-вычисления и некоторая атомарность ввода). Открыто, могут ли они быть удалены. Пиппенгер предполагает, что это можно сделать, но предупреждает: «[такой] результат [...] кажется далеко за пределами доступных в настоящее время методов в теории вычислительной сложности» .

См. Также ответ Кэмпбелла в (3) и заметки Бен-Амрама (4).

^{1. Н. Пиппенгер, Чистый и нечистый Лисп .}

^{2. Р. Берд, Г. Джонс, О. Де Мур, Больше скорости, меньше скорости: ленивый против нетерпеливой оценки .}

^{3. Переполнение стека, Эффективность чисто функционального программирования .}

^{4. Бен-Амрам А.М., Заметки о сравнении Пиппенгера чистого и нечистого LISP .}