[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: continuations in Scheme (was: Google Summer of Code 2011)
- From: Alex Queiroz <asandroq@...>
- Date: Tue, 22 Feb 2011 11:11:42 -0300
On Tue, Feb 22, 2011 at 11:02 AM, David Kastrup <email@example.com> wrote:
> Local _scalar_ variables are "rolled back". This discrepancy is a
> general trait of Lisp-like languages. With increasingly cleaner
> language constructs (proper lexical bindings, proper closures, proper
> continuations etc), it becomes more and more apparent that the
> functional character of the language is not reflected into the behavior
> of its data structures.
Nothing is never rolled back. This "rolling back" is not and has
never been part of Scheme semantics. Maybe you should post an example
to show when this "rolling back" takes place. What is a "scalar
variable", anyway? Lists are just chainings of pairs, a fundamental
data type, and are not special in any way.
> But the data implications for rereturning to a previously established
> dynamic state are not used as a serious programming paradigm, like
> stateful backtracking, as a chess program using alpha-beta pruning would
You mean not really used as a serious programming paradigm like in Schelog?