[r6rs-discuss] Multiple returns from higher-order procedures

From: AndrevanTonder <andre>
Date: Sat, 23 Jun 2007 14:07:57 -0400 (EDT)

On Sat, 16 Jun 2007, AndrevanTonder wrote:

>>> I notice that while MAP, FILTER and PARTITION are required to satisfy the
>>> following:
>>>
>>> If multiple returns occur from ---, the return values
>>> returned by earlier returns are not mutated.

By the way, I think the same requirement should be imposed on

   list-sort
   vector-sort

in (rnrs sorting). Also, I think it would be sensible to require the same
of

   vector-map

in (r6rs base).

I wonder if it might not be a good idea to specify this once in one place,
instead of at each procedure individually.

Andre
Received on Sat Jun 23 2007 - 14:07:57 UTC