PL'den kaynaklanan (çözülmemiş) karmaşıklık sorunlarının listesi

Programlama dillerinden, özellikle program analizi ve derlemesinden kaynaklanan bazı büyük, açık hesaplama karmaşıklığı sorunları nelerdir? "Hindley-Milner tipi çıkarımın zaman karmaşıklığı" veya "0CFA zaman karmaşıklığı" (her ikisi de çözülmüş problemler olsa da) satırlarında sorunlar arıyorum.

Pippenger'ın (1) 1996'dan (bazı varsayımlar altında) katı (CBV) fonksiyonel programlama dillerinin asemptomatik olarak zorunlu dillerden daha yavaş olduğunu göstermektedir. Pippenger'ın sonucunun (2) 'de belirtildiği gibi tembel fonksiyonel dillere genelleştirilip genelleştirilemeyeceği açıktır .

Pippenger iki basitleştirici varsayım uygular (çevrimiçi hesaplama ve belirli bir girdi atomisitesi). Çıkarılıp kaldırılamayacakları açıktır. Pippenger bunun yapılabileceğini tahmin ediyor, ancak uyarıyor: "[s] bir sonuç [[], hesaplama karmaşıklığı teorisinde şu anda mevcut olan yöntemlere erişimin çok ötesinde görünüyor” .

Ayrıca bkz. Campbell'in cevabı (3) ve Ben-Amram'ın notları (4).

^{1. N. Pippenger, Saf ve Safsız Lisp .}

^{2. R. Bird, G. Jones, O. De Moor, Daha acele, daha az hız: tembel ve istekli değerlendirme .}

^{3. Yığın Taşması, tamamen işlevsel programlama verimliliği .}

^{4. AM Ben-Amram, Pippenger'ın Saf ve Saf LISP Karşılaştırması Üzerine Notlar .}