Comment by QuesnayJr

6 days ago

I was wondering what this meant, so I googled '"rho type" concatenative', and the only hit was this thread.

2 comments

QuesnayJr

Maybe reflective high-order calculus (ρ-calculus). Found this paper, though even the abstract is incomprehensible to me.

The rho type is the aggregate stack effect e.g. (int int — string) will pop two ints off the stack and push a string.