Joy is a mind-bending concatenative programming language with combinators: https://ncreep.github.io/language_perils/blog/2013-03-18-the-joy-of-joy.html
miniblog.
Related Posts
Great article defending concatenative programming as a paradigm, and discussing how you statically type check subroutines that leave values on the stack:
Lovely post exploring the expressivity of concatenative PLs when you constrain function arity
https://suhr.github.io/obsc/ (spoiler: it's pretty)
Kitten http://t.co/1hYgxy5Dme is an interesting concatenative language. It's statically typed, which is very valuable in a stack-based lang.