由PL引起的（未解决的）复杂性问题列表

编程语言（尤其是程序分析和编译）会引起哪些主要的开放式计算复杂性问题？我正在寻找“ Hindley-Milner类型推断的时间复杂性”或“ 0CFA的时间复杂性”的问题（尽管这两个问题均已解决）。

皮蓬格（Pippenger，1996）的研究（1）表明（在某些假设下） 严格（CBV）的函数式编程语言在渐近上比命令式语言慢。正如（2）中指出的那样，是否可以将Pippenger的结果推广到惰性函数式语言。

Pippenger施加了两个简化的假设（在线计算和一定的输入原子性）。是否可以删除它们是公开的。皮蓬格（Pippenger）猜想它可以做到，但警告说：“这样的结果似乎远远超出了计算复杂性理论中当前可用方法的范围”。

另请参阅坎贝尔（3）中的答案和本·阿姆拉姆（Ben-Amram）的笔记（4）。

^{1. N. Pippenger，《纯净与不纯的Lisp》。}

^{2. R. Bird，G。Jones，O。De Moor，比较匆忙，速度较慢：懒惰与渴望的评估。}

^{3.堆栈溢出，纯函数式编程的效率。}

^{4. AM Ben-Amram，关于Pippenger比较纯LISP和不纯LISP的注释。}