PLから生じる（未解決の）複雑さの問題のリスト

プログラミング言語、特にプログラムの分析とコンパイルから生じる、主要な未解決の計算上の複雑な問題は何ですか？「Hindley-Milner型推論の時間の複雑さ」または「0CFAの時間の複雑さ」の両方の問題を探しています（両方とも解決された問題です）。

1996年のPippengerの（1）は、（いくつかの仮定の下で） 厳密（CBV）関数型プログラミング言語は命令型言語よりも漸近的に遅いことを示しています。（2）で指摘されたように、Pippengerの結果を遅延関数型言語に一般化できるかどうかはオープンです。

Pippengerは、2つの単純化する仮定（オンライン計算と特定の入力の原子性）を課しています。削除できるかどうかは公開されています。ピッペンジャーはそれができると推測しますが、警告します：「[s]そのような結果[...]計算複雑性理論で現在利用可能な方法の範囲をはるかに超えているようです」。

（3）のキャンベルの回答と、Ben-Amramのメモ（4）も参照してください。

^{1. N.ピッペンガー、Pure Versus Impure Lisp。}

^{2. R.バード、G。ジョーンズ、O。デムーア、速攻、スピードの低下：怠evaluationと熱心な評価。}

^{3.スタックオーバーフロー、純粋に機能的なプログラミングの効率。}

^{4. AM Ben-Amram、PippengerのPure LISPとImpure LISPの比較に関するメモ。}