Questions tagged [continuations]
The continuations tag has no summary.
21 questions
2 votes
0 answers
208 views
Is there a proof of correctness for CPS translations into Appel's IR?
The IR given in Appel's book (Compiling with Continuations) is certainly well explored and battle-tested in production compilers. I have been able to find several works based on or inspired by it (...
- 731
4 votes
1 answer
274 views
Tail call optimization via translating to CPS
I am struggling to wrap my head around this compiler technique, so let's say here's my factorial function ...
- 235
0 votes
1 answer
159 views
Continuation passing transform
I'm stuck on something in in Shan's article Shift to Control, about CPS. On page three he writes the CPS transform ...
- 115
-1 votes
1 answer
2k views
Pattern finding in an array of numbers
I have an array of numbers, and I need to check if there is a repeating pattern in the array. Like, for example, if I have an array A=[1,1,6,1,1,6,1,1,6,1,1,6...] this should return "Yes" (...
- 101
1 vote
0 answers
42 views
Is it possible to implement a defer statement with delimited continuations?
A defer statement takes another statement and evaluates the given statement at the end of the current function call. See how Go does it. Delimited continuations can be abused to provide throw/catch ...
- 113
1 vote
0 answers
56 views
Analogue of disjunction and existence properties for a Turing-complete programming language?
Quoting from Wikipedia: In mathematical logic, the disjunction and existence properties are the "hallmarks" of constructive theories such as Heyting arithmetic and constructive set theories ...
- 111
6 votes
0 answers
539 views
Understanding $\lambda \mu$-calculus in more programming way
I am learning $\lambda \mu$-calculus (self-study). I learned it because it seems very useful for understanding Curry-Howard correspondence (e.g understanding the connection between classical logic ...
- 295
2 votes
0 answers
66 views
How can we convert between a program using `call/cc` and a program using functions written in CPS?
The Scheme Programming Language says It turns out that any program that uses call/cc can be rewritten in CPS without call/cc, but a total rewrite of the program (sometimes including even system-...
- 5,045
5 votes
1 answer
160 views
Explain auto continue passing style transformations
Recently I saw 3 cps transformation rules, but no explanations were given. expressions: $e :=x\left|e e^{\prime}\right| \lambda x \cdot e$ rules: $$ \begin{array}{l}{[[x]]=\lambda \kappa \cdot \...
- 151
4 votes
1 answer
459 views
Multi-prompt delimited continuations in terms of single-prompt delimited continuations
Let's call the two languages in question (untyped lambda calculus with single or multiple prompt delimited continuations) L_delim and L_prompt. Is it possible to express multi-prompt delimited ...
- 163
1 vote
0 answers
84 views
Can you use CPS to simulate state in a stateless programming language?
In a language supporting CPS, but no built in global state, we can represent a state based computation using a function. We call this function a state function. Assume the function takes three ...
- 788
4 votes
1 answer
264 views
Continuation-passing style: what is meant by "CPS'ing"?
I'm reading Dijkstra Monads for Free for a presentation I'll be doing and it's pretty meaty. One of the things that I keep running into is the term "CPS'ing". I've read a little bit on ...
- 387
3 votes
0 answers
116 views
Examples of continuations in pure mathematics [closed]
I am not a computer scientist and have no knowledge of programming. However, I wondered continuations occur as natural and interesting mathematical structures, perhaps as algebraic or type theoretic ...
- 194
26 votes
2 answers
6k views
Why is static-single assignment preferred over continuation passing style in many industry-used compilers?
According to the Wikipedia page on static-single assignment (SSA), SSA is used by large and well-known projects such as LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey, and V8 while the page on projects ...
- 634
2 votes
0 answers
159 views
Continuation of strictly monotone function on a plane
I have a computational problem where I'm given the values of a function $f(x,y)$ sampled on 2D regular grid. The function is given in a compact domain of a grid and it is strictly monotone w.r.t. $x$ ...
- 21