Lambda-lifting and CPS conversion in an imperative language — mentioned by antonvs

Fri, 23 Apr 2021 07:20:58 GMT

The insight in the Kelsey paper I linked is that SSA and CPS are essentially equivalent. SSA is more or less CPS expressed at a kind of lower level, more like a bytecode. So one answer to the question is that all SSA compilers are already using a form of CPS. If you wanted to use traditional CPS explicitly, you'd need a transformation step that converts the imperative source code into a more functional intermediate form so that it can be CPS'd. There might be benefits to that, since CPS can be easier to analyze than SSA. But I'm not aware of any real imperative compilers that do it. There's…

Paper and discussion history. A mention is not an endorsement.

Lambda-lifting and CPS conversion in an imperative language · HackerPapers discussions

Lambda-lifting and CPS conversion in an imperative language — mentioned by antonvs