[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
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
Philips Research Laboratories
Prof. Holstlaan 4 (postbox WY63, kamer WY 6-55)
5656 AA Eindhoven
tel: +31 40 27-42069 *** new telephone number
fax: +31 40 27-42566 *** new fax number
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.