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

Re: Folding comprehensions

This page is part of the web mail archives of SRFI 42 from before July 7th, 2015. The new archives for SRFI 42 contain all messages, not just those from before July 7th, 2015.

Two things are different from SRFIs 1, 13, and 43:

1. FOLD-EC is a macro and the reduction is specified by an _expression_
with free variables. This means there is no syntactic gain by having
another variant.

2. In general, the number of elements produced in the sequence of
bindings enumerated by an eager comprehension not known in advance.
   This implies that the only possible implementation of FOLD-RIGHT-EC
first enumerates the entire sequence of bindings and then starts the
reduction process. In my opinion this has no place in a library reduced
to the most important functionality.


Dr. Sebastian Egner
Senior Scientist
Philips Research Laboratories
Prof. Holstlaan 4 (postbox WY63, kamer WY 6-55)
5656 AA Eindhoven
The Netherlands
tel:       +31 40 27-42069  *** new telephone number
fax:      +31 40 27-42566  *** new fax number
email: sebastian.egner@xxxxxxxxxxx


18-06-2003 20:40

        To:        srfi-42@xxxxxxxxxxxxxxxxx
        cc:        (bcc: Sebastian Egner/EHV/RESEARCH/PHILIPS)
        Subject:        Folding comprehensions


SRFIs 1, 13, and 43 all provide FOLD-RIGHT operations; I am curious why
does not provide a FOLD-RIGHT-EC.