Die Rolle der Kombinatoren in konkatenative / stillschweigenden Programmiersprachen

Question

Was genaue Rolle tut höhere Ordnung combinators (oder Funktion Hersteller) hält in konkatenative und stillschweigende Programmierung ?

Gibt es eine andere Art und Weise eine konkatenative Programmiersprache zu implementieren, anstatt direkt den Stapel zu manipulieren?

Wie eng ist die Beziehung zwischen dem combinators erwähnt und Schönfinkel 's kombinatorische Logik ?

Answer 1

In meiner Antwort auf "Erklären Concatenative Sprachen für mich wie ich bin 8 Jahre alt " ich, dass argumentiert, es nicht sinnvoll ist, das Wort‚konkatenative‘Programmiersprachen zu beschreiben. Dieser Bereich erscheint ein privater Spielplatz für Manfred von Thun zu sein. Es gibt keine wirkliche Definition das, was eine konkatenative Sprache, und es gibt keine reife Theorie die Idee einer konkatenative Sprache zugrunde liegen. Da das Konzept nicht wirklich definiert ist, ist es unmöglich, eine definitive Erklärung der Rolle von Kombinatoren zu liefern.

Sie könnten es vorziehen, Ihre Zeit zu verbringen mehr gut etablierte Themen wie kombinatorische Logik studiert, SK combinators, Lambda-Kalkül und Graph-Reduktion Maschinen. Wenn Sie in Punkt freier Programmierung von einer pragmatischen Perspektive interessiert sind, APL, Forth und Postscript ist alle gut wert zu studieren.

Answer 2

Gibt es eine andere Art und Weise eine konkatenative Programmiersprache zu implementieren, anstatt direkt den Stapel zu manipulieren?

Ja. Die Enchilada Sprache basiert auf Begriff neu zu schreiben.