* Continuations are not so good, delimited continuation are far better
@ 2014-07-21 15:41 Yannick Duchêne (Hibou57)
0 siblings, 0 replies; only message in thread
From: Yannick Duchêne (Hibou57) @ 2014-07-21 15:41 UTC (permalink / raw)
Hi out there,
I'm posting this here, after some previous talks about the wish to get
coroutines in Ada.
Coroutines are related to continuations. Continuation is well know
abstraction in the functional programming world, which often forget about
real world limitations, something Ada is necessarily aware of. While
mathematically correct, continuations are not so good in practice.
I was questioning myself about continuation's implementation in SML
compilers (like MLton), and landed onto something worth to be forwarded in
an Ada newsgroup: a multi‑page document about continuations, where the
author argues against classical continuation and argues in favour of
delimited continuation. Somewhere in these pages, he notes an
implementation or compiler, will anyway have to determine a delimited
continuation for each continuation, to implement continuations
efficiently. That's what I had in mind too, and that's why I enjoy this
document (I have not read all of it yet).
See: [Continuations and delimited
control](http://okmij.org/ftp/continuations/index.html)
--
“Syntactic sugar causes cancer of the semi-colons.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-07-21 15:41 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-07-21 15:41 Continuations are not so good, delimited continuation are far better Yannick Duchêne (Hibou57)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox