Конкатенативный язык — это язык, в котором все термы языка являются функциями со введенной на них примитивной операцией композиции.