Rôle des combinateurs dans les langages de programmation concaténatifs / tacite

Question

Quel est le rôle exact ne combinateurs d'ordre supérieur (ou les producteurs de fonction) se rencontrent à et concaténative programmation tacite ?

Y at-il une autre façon de mettre en œuvre un langage de programmation concaténative plutôt que de manipuler directement la pile?

Comment est la relation étroite entre les combinateurs mentionnés et Schönfinkel 's logique combinatoires?

Answer 1

Dans ma réponse à "Expliquer Concatenative langues à moi comme je suis un enfant de 8 ans " j'ai soutenu que il n'est pas utile d'utiliser le mot « concaténative » pour décrire les langages de programmation . Cette zone semble être un terrain de jeu privé pour Manfred von Thun. Il n'y a pas de véritable définition de ce qui constitue une langue concaténative, et il n'y a pas de théorie sous-jacente à maturité l'idée d'une langue concaténative. Parce que le concept est pas vraiment défini, il est impossible de fournir une explication définitive du rôle de combinateurs.

Vous préférez peut-être passer votre temps à étudier des sujets plus bien établis comme la logique combinatoire, SK combinateurs, lambda-calcul et machines graphique de réduction. Si vous êtes intéressé par la programmation de point sans une perspective plus pragmatique, APL, Forth et PostScript sont tous une valeur de bien étudier.

Answer 2

  

Y at-il une autre façon de mettre en œuvre un langage de programmation concaténative plutôt que de manipuler directement la pile?

Oui. La langue enchilada est basée sur réécriture.