Re: Non-stack-copying call-with-current-continuation?

[Andy Wingo]

On Fri 02 Mar 2012 02:35, David Kastrup <address@hidden> writes:

> Sure, but things like gensym and make-prompt-tag (and (list '()) for
> creating an eq?-unique object) are artificial hygiene coming at a cost
> in symbol table and symbol generation time rather than "lexical"
> hygiene.

"Hygiene" is not right the word here.  "Hygiene" applies lexically --
statically.  You want a continuation that only works within a certain
dynamic extent -- that's dynamic.  Unique objects are well-suited to the
needs of dynamic problems.

But really, your concerns are entirely misplaced.  Choose clean, clear,
optimizable abstractions.  Call/ec is a good example.  If you need to
implement it, do so using whatever tools are at hand.  If you can't
implement it or it's slow, then bring these concerns forward.  But to
dismiss Noah's suggestions out of hand is inappropriate at this time.

Andy
-- 
http://wingolog.org/