CONCATENATIVE PROGRAMMING An Overlooked Paradigm in Functional Programming
📜 Abstract
Based on the state of our ongoing research into Language-Driven Software Development (LDSD) and Language-Oriented Programming (LOP) we argue that the yet relatively unknown paradigm of concatenative programming is valuable for fundamental software engineering research and might prove to be a suitable foundation for future programming. To be sound, we formally introduce Concat, our research prototype of a purely functional concatenative language. The simplicity of Concat is contrasted by its expressiveness and a richness of inspiring approaches. Concatenative languages contribute a fresh and different sight on functional programming, which might help tackle challenges in LDSD/LOP from a new viewpoint.
✨ Summary
The paper presents concatenative programming as a functional, stack-oriented, homoiconic, and largely variable-free paradigm suited to language experimentation and software engineering. It formally defines Concat using words, quotations, concatenation, substitution rules, stack functions, function composition, and a homomorphic relationship between syntax and semantics. The authors argue that this structure supports macros, localized code extraction, refactoring, formal reasoning, refinement, and compact program composition. They also discuss possible applications to pattern-recognition systems, stream processing, process descriptions, and language-oriented software development, while using Factor as evidence that concatenative techniques can support substantial practical language implementations.
A web search found evidence of continued niche research influence rather than broad industry adoption. Later work on the Functional Machine Calculus cites this paper when positioning sequencing and higher-order stack languages within the development of functional calculi. (people.bath.ac.uk) The paper is also listed in subsequent bibliographies and surveys of concatenative-language research, including work on typed concatenative languages and concatenative calculus. (www2.ccs.neu.edu) I found no reliable evidence that Concat itself, or this paper directly, led to widespread industrial adoption.