Hi! I have a question about what exact role do higher-order compinators (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.