linguagem de programação concatenativa

Linguagem de programação concatenativa é uma linguagem de programação na qual todas as construções válidas, ou termos, correspondem a uma função e a sobreposição de termos denota . A combinação de uma semântica de composição com uma sintaxe que a reflete faz as linguagens concatenativas bastante adequadas para manipulação algébrica e análise formal, defendem alguns pesquisadores. Muito da pesquisa original sobre a teoria das linguagens concatenativas foi feito por .