Christophe Rhodes <email@example.com> wrote:
| firstname.lastname@example.org (Rob Warnock) writes:
| > Sorry, SEQUENCE is the union of only *two* types: LIST & VECTOR.
| This is not correct. Please look up the definition of the SEQUENCE
| type in the standard.
Uh... I did, *really* I did!! ;-} ;-}
17.1 Sequence Concepts
A sequence is an ordered collection of elements, implemented as
either a vector or a list.
That sure sounded definitive to me!! My mistake was not remembering
that the standard is not always completely self-consistent. I *knew*
that, but forgot to browse around a bit to see if this was one of
those times. (Oops.) Looking further now, I see:
System Class SEQUENCE
The types VECTOR and the type LIST are disjoint subtypes of type
SEQUENCE, but are not necessarily an exhaustive partition of sequence.
But to address the OP's original complaint about "a menagerie of
sequence types" [which my response was an attempt to rebut], do you
know of any implementation that actually exploits that permission?
E.g., do you know of any implementation that supports multi-dimensional
arrays as sequences? [I suppose one could always traverse such an
array in row-major order...]
Rob Warnock <email@example.com>
627 26th Avenue <URL:http://rpw3.org/>
San Mateo, CA 94403 (650)572-2607