Questions tagged [continuation-passing-style]
The continuation-passing-style tag has no summary.
4 questions
13
votes
0
answers
148
views
Transforming imperative languages to continuation-passing style for evaluation
Continuation-passing style is a useful technique for implementing exceptions, coroutines, non-local returns, async/await, and ...
- 15.6k
16
votes
2
answers
1k
views
What are the disadvantages of using CPS form?
Motivation
CPS(Continuation-Passing Style), SSA(Static Single Assignment), ANF(A-Normal Form) are three common forms of IR(Intermediate Representation).
I find it very convenient to describe and ...
- 3,508
5
votes
1
answer
414
views
Are efficient implementations of continuation passing style possible?
I have heard that smlnj uses continuation passing style and that is one reason it has been dropped from the proof assistant Isabelle.
Makarius, the author of the answer above, also gave a detailed ...
- 485
6
votes
1
answer
204
views
How continuations compiles generators and coroutines?
Motivation
I have seen many places saying that CPST (continuation-passing style transformation) can express all control flows, but the examples they give are relatively simple and do not involve any ...
- 3,508