Re: Left- and right-ness of folds
Bradd W. Szonye 25 Oct 2003 20:55 UTC
Bradd wrote:
>> That's a big pitfall! A right-fold on an infinite sequence will
>> diverge before the folding function ever gets called. I think it's a
>> bad idea to provide an interface that is "broken by design" like that
>> -- it cannot possibly function correctly.
xxxxxx@freenetproject.org wrote:
> Its not really. collection-fold-right will raise an error if applied
> to an infinite collection. Would it placate you if it was required to
> raise an error with truely infinite collections?
That's better, but I still have a problem with the fact that you're
requiring something that is not well-defined. And by "not well-defined,"
I don't mean that it's ambiguous or unclear -- I mean that there's no
way to define it meaningfully.
--
Bradd W. Szonye
http://www.szonye.com/bradd