> We can always express async with CPS. We don't need CPS however, if we resort > to a decidable fragment of 2nd order logic. We will then get CPS for free > logically and almost for free computationally, way cheaper than with CPS > itself.
I'm intrigued. Could you spell out what you have in mind here with some Nim-like pseudocode?
