Перелік (невирішених) проблем складності, що виникають внаслідок ПЛ

Які основні проблеми з відкритими складними обчислювальними технологіями виникають внаслідок мов програмування, особливо аналізу та компіляції програм? Я шукаю проблеми в рядках "часова складність умовиводу типу Хіндлі-Мілнера" ​​або "часова складність 0CFA" (хоча обидва є вирішеними проблемами).

Pippenger's (1) з 1996 р. Показує, що (за деякими припущеннями), строгі (CBV) функціональні мови програмування асимптотично повільніші від імперативних мов. Не можна зрозуміти, чи можна результат Піппенгера узагальнити до ледачого функціональних мов, як було зазначено в (2).

Pippenger накладає два спрощення припущення (он-лайн обчислення та певну атомність введення). Відкрито, чи можна їх зняти. Гіпотеза Піппенгера про те, що це можна зробити, але попереджає: "[s] uch результат [...] здається далеко поза досяжністю наявних в даний час методів в теорії складності обчислювальної техніки". .

Дивіться також відповідь Кемпбелла в (3) та записки Бен-Амрама (4).

^{1. N. Pippenger, Pure Versus Impure Lisp .}

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

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

^{4. А. М. Бен-Амрам, Примітки про порівняння Піппенджера чистого і нечистого ЛІСП .}