Quale ruolo esatto svolgono i combinatori di ordine superiore (oi produttori di funzioni) in concatenative e tacit programming?Ruolo dei combinatori nei linguaggi di programmazione concatenativo/tacit
Esiste un altro modo per implementare un linguaggio di programmazione concatenativo anziché manipolare direttamente lo stack?
Quanto è stretta la relazione tra i combinatori citati e Schonfinkel di combinatory logic?
Nella mia risposta a "Explain Concatenative languages to me like I’m an 8 year old" ho sostenuto che non è utile usare la parola "concatenativo" per descrivere i linguaggi di programmazione. Questa zona sembra essere un parco giochi privato per Manfred von Thun. Non esiste una definizione reale di ciò che costituisce un linguaggio concatenativo e non esiste una teoria matura alla base dell'idea di un linguaggio concatenativo. Poiché il concetto non è realmente definito, è impossibile fornire una spiegazione definitiva del ruolo dei combinatori.
Si potrebbe preferire trascorrere il proprio tempo studiando argomenti più consolidati come logica combinatoria, combinatori SK, calcolo lambda e macchine per la riduzione del grafico. Se sei interessato alla programmazione point-free da una prospettiva più pragmatica, vale la pena studiare APL, Forth e PostScript.
Grazie, ho letto il post menzionato e sicuramente indagherò sugli argomenti che hai indicato – Bubba88
Penso che vai troppo lontano quando dici * non è utile usare la parola "concatenativo" per descrivere i linguaggi di programmazione * - è piuttosto un concetto poco chiaro ma utile, che diventa incoerente quando lo spingete troppo lontano, un'istanza dei concetti di rassomiglianza familiare come "gioco" che Wittgenstein ha criticato. E se sono un parco giochi per Manfred von Thun, non sono privati: ho trovato interessante il lavoro di Christopher Diggins su Cat. –
Una risposta a questa risposta può essere trovata qui: http://evincarofautumn.blogspot.com/2012/02/why-concatenative-programming-matters.html Perché argomenti di programmazione concatenativa –
C'è un altro modo per implementare un linguaggio di programmazione concatenativo piuttosto che manipolare direttamente lo stack?
Sì. La lingua Enchilada si basa sulla riscrittura dei termini.
+1, anche se la loro definizione "Concatenative: la concatenazione sintattica delle espressioni postfisse, produce espressioni valide" è solo il tipo di idea insolita di cui Norman si lamenta nella sua risposta. –
Sì, penso che tutti coloro che sono coinvolti in linguaggi "concatenanti" facciano la definizione per se stessi. Il "sentire" delle lingue è lo stesso, quindi non mi preoccuperò :) – Dan
Questa domanda è stata referenziata nel post del blog * [Perché argomenti di programmazione concatenativa] (http://evincarofautumn.blogspot.dk/2012/02/why-concatenative-programming-matters.html) *. –