2 ms·
I was wondering what this meant, so I googled '"rho type" concatenative', and the only hit was this thread.
by QuesnayJr 8mo ago
I was wondering what this meant, so I googled '"rho type" concatenative', and the only hit was this thread.
- lioeters 8mo agoMaybe reflective high-order calculus (ρ-calculus). Found this paper, though even the abstract is incomprehensible to me. https://www.sciencedirect.com/science/article/pii/S1571066105051893 https://www.sciencedirect.com/science/article/pii/S157106610...
- adastra22 8mo agoThe rho type is the aggregate stack effect e.g. (int int — string) will pop two ints off the stack and push a string.