[r6rs-discuss] Laziness Features

From: Robby Findler <robby>
Date: Tue Oct 17 18:17:43 2006

At Tue, 17 Oct 2006 14:07:12 -0400, John Cowan wrote:
> William D Clinger scripsit:
> > That is more practical than it sounds, because the list of
> > procedures whose implementation might be influenced by the
> > mutability of pairs is pretty short, and it should be no
> > big deal to pre-compile two versions of the proto-libraries
> > that contain only those procedures.
>
> The effects on garbage collection are profound, though, given
> the ubiquity of pairs: the appropriate optimization tradeoffs
> may be quite different.

It's not just an implementation issue: abstractions that are safe (ie,
preserve their invariants) in a set-car!-less world may not in a
set-car! world.

Robby
Received on Tue Oct 17 2006 - 18:14:48 UTC