My suggestion is that concatenative programming languages are nearly direct representations of Combinatory Logic in the same way that Lisp (in its purest sense)

My suggestion is that concatenative programming languages are nearly direct representations of Combinatory Logic in the same way that Lisp (in its purest sense) is a direct representation of the Lambda Calculus: http://github.com/raganwald/homoiconic/blob/master/2008-11-16/joy.md#readme http://github.com/raganwald/homoiconic/blob/master/2008-11-1...