Ruolo dei combinatori nei linguaggi di programmazione Concatenative / tacite

Question

Qual è il ruolo esatto fare combinatori di ordine superiore (o produttori funzione) tenere in concatenativa programmazione tacita ?

C'è un altro modo per implementare un linguaggio di programmazione concatenativa piuttosto che manipolare direttamente la pila?

Come stretto è il rapporto tra i combinatori citati e Schonfinkel 's combinatoria logica ?

Answer 1

Nella mia risposta a "Spiegare concatenativa lingue a me come se fossi un 8 anni " ho sostenuto che non è utile usare la parola 'concatenativa' per descrivere i linguaggi di programmazione . Questa zona sembra essere un parco giochi privato per Manfred von Thun. Non c'è una vera definizione di ciò che costituisce un linguaggio concatenativa, e non v'è alcuna teoria matura alla base l'idea di una lingua concatenativa. Perché il concetto non è realmente definito, non è possibile fornire una spiegazione definitiva del ruolo di combinatori.

Si potrebbe preferire di trascorrere il vostro tempo a studiare argomenti più consolidate, come logica combinatoria, combinatori SK, lambda calcolo, e le macchine grafico di riduzione. Se siete interessati a programmazione libera-punto da una prospettiva più pragmatica, APL, Forth, e PostScript sono tutti vale la pena studiare.

Answer 2

  

C'è un altro modo per implementare un linguaggio di programmazione concatenativa piuttosto che manipolare direttamente la pila?

Sì. La lingua Enchilada si basa sulla riscrittura termine.