Skip to main content

Questions tagged [continuations]

The tag has no usage guidance.

4 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12 votes
0 answers
163 views

Are the types that show monads are more powerful than continuations revealing something of fundamental importance?

In 1992 in the paper Imperative Functional Programming, Simon Peyton Jones and Philip Wadler write: So monads are more powerful than continuations, but only because of the types! It is not clear ...
hawkeye's user avatar
  • 2,581
4 votes
0 answers
83 views

Description of the CPS transformation for the typed lambda-calculus

Is there somewhere a precise but hopefully readable account of how the CPS (=continuation-passing-style) transformation applies to the typed lambda-calculus? (Say, simply-typed with product and sum ...
Gro-Tsen's user avatar
  • 841
3 votes
0 answers
184 views

Type System Of $\lambda\mu$-Calculus

reading this paper on CPS-tranformation from the $\lambda\mu$-calculus, I'm a bit confused about the type system presented: Why second-order formulas in the types? Is this according to the Curry-...
fweth's user avatar
  • 139
2 votes
0 answers
105 views

"finally" for algebraic effects and handlers

In Java in addition to catch there is also finally, this is very important to make sure resources get cleaned up. I believe <...
Labbekak's user avatar
  • 701