Role of Combinators in Concatenative/Tacit Programming Languages.

Question

Hi! I have a question about what exact role do higher-order combinators (or function producers) hold in concatenative/tacit programming.

Additionally I would like to ask if there is another way to implement concatenative programming language rather than directly manipulating the stack.

This might look like a newbie question, so if you feel like it, you can freely direct me to external source.

UPDATE: Additionally, I want to know how tight is the relation between the combinators mentioned and Schonfinkel's Combinatory Logic. Thank you :)

Answer 1

In my answer to "Explain Concatenative languages to me like I’m an 8 year old" I argued that it is not useful to use the word "concatenative" to describe programming languages. This area appears to be a private playground for Manfred von Thun. There is no real definition of what constitutes a concatenative language, and there is no mature theory underlying the idea of a concatenative language. Because the concept is not really defined, it is impossible to provide a definitive explanation of the role of combinators.

You might prefer to spend your time studying more well-established topics such as combinatory logic, SK combinators, lambda calculus, and graph-reduction machines. If you are interested in point-free programming from a more pragmatic perspective, APL, Forth, and PostScript are all well worth studying.

Answer 2

Additionally I would like to ask if there is another way to implement concatenative programming language rather than directly manipulating the stack.

Yes. The Enchilada language is based on term rewriting.