[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Andy Wingo
Subject: Re: Non-stack-copying call-with-current-continuation?
Date: Sat, 03 Mar 2012 18:48:59 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux)

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]