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

From: AndrevanTonder <andre>
Date: Sat, 16 Jun 2007 11:48:55 -0400 (EDT)

On Sat, 16 Jun 2007, Michael Sperber wrote:

>
> AndrevanTonder <andre at het.brown.edu> writes:
>
>> 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.
>>
>> However, the same does not appear to be required of the remaining higher-order
>> procedures in the (rnrs lists) library. Is this an oversight, or is there a
>> reason for it?
>
> What procedures would you be referring to? AFAICS, none of the others
> generate lists.

The following generate lists

   REMP, REMOVE, REMV, REMQ

The following will often return lists

   FOLD-LEFT, FOLD-RIGHT

but even in the case where they do not generate lists, the above requirement
will still make sense (it just refers to "return value of earlier returns").

Cheers
Andre
Received on Sat Jun 16 2007 - 11:48:55 UTC