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

Re: Traits, dictionaries

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

> A modulo-sequence lets you use wrap-around indexes (like -1 or bignum)
> but it's really a finite sequence, so *-size returns a true value, and
> collection-fold halts.
> An infinite-sequence really is infinite, even if its internal
> representation isn't, so *-size returns #f, and collection-fold does not
> halt.
> Based on this, I say: Tighten up the definitions of *-size and fold to
> make this more obvious, but otherwise no changes. There's no need for
> finite-collection?, because it's essentially equivalent to *-size under
> this interpretation.

Correct.  I've done just that.


Attachment: pgpp7RNGtUIFC.pgp
Description: PGP signature