This is the mail archive of the
guile@sources.redhat.com
mailing list for the Guile project.
Re: continuation and multi-threading
Mikael Djurfeldt <mdj@mdj.nada.kth.se> writes:
> Call/cc is not just a tool for language theorists. It's a very
> powerful element from which you can build virtually any control
> structure. The Guile policy has inherited the following from the R5RS
> report:
>
> ** Fundamental rule of thumb
>
> >From R5RS:
>
> "Programming languages should be designed not by piling feature on top
> of feature, but by removing the weaknesses and restrictions that make
> additional features appear necessary."
>
> Call/cc is exactly the kind of thing which makes additional features
> unnecessary.
Mmm.. I'm not sure whether I'll use a continuation to extend control
structures, but I guess I should learn how to use it effectively
before talking about it..
> We will very probably not replace the current evaluator with a
> solution which doesn't support tail-recursive continuations.
I don't know how to implement it. Should I decide it right now?