Elenco di problemi di complessità (irrisolti) derivanti da PL

Quali sono alcuni dei principali problemi di complessità computazionale aperti che sorgono dai linguaggi di programmazione, in particolare l'analisi dei programmi e la compilazione? Sto cercando problemi sulla falsariga di "la complessità temporale dell'inferenza di tipo Hindley-Milner" o "la complessità temporale di 0CFA" (sebbene entrambi siano problemi risolti).

— xrq
fonte

Perché il voto si chiude? Se questa domanda è "troppo ampia", tonnellate di altre domande su questo sito dovrebbero essere chiuse.

— Damiano Mazza,

Uno che mi interessa (ma non sono sicuro che sia irrisolto) sta usando la distanza Beta (non chiusa) dei termini lambda da un termine fondamentale come misura della complessità.

— Samuel Schlesinger,

Pippenger (1) del 1996 mostra che (sotto alcune ipotesi) i linguaggi di programmazione funzionale (CBV) rigorosi sono asintoticamente più lenti dei linguaggi imperativi. È chiaro se il risultato di Pippenger possa essere generalizzato a linguaggi funzionali pigri , come è stato sottolineato in (2).

Pippenger impone due assunzioni semplificanti (calcolo online e una certa atomicità dell'input). È aperto se possono essere rimossi. Pippenger ipotizza che ciò possa essere fatto, ma avverte: "[...] un risultato [...] sembra molto al di là della portata dei metodi attualmente disponibili nella teoria della complessità computazionale" .

Vedi anche la risposta di Campbell in (3) e le note di Ben-Amram (4).

^{1. N. Pippenger, puro contro impuro Lisp .}

^{2. R. Bird, G. Jones, O. De Moor, Più fretta, meno velocità: valutazione pigra contro desiderosa .}

^{3. Stack Overflow, efficienza di programmazione puramente funzionale .}

^{4. AM Ben-Amram, Note sul confronto tra Pippenger di LISP puro e impuro .}

— Martin Berger
fonte