Darren Duncan wrote:
In reply to Jon Lang,
What I'm proposing here in the general case, is a generic collection
type, "Interval" say, that can represent a discontinuous interval of an
ordered type. A simple way of defining such a type is that it is a "Set
of Pair of Ordered", where each Pair defines a continuous interval in
terms of 2 ordered end-points, and the whole set is discontinuous (or
replace Pair with 2-element Seq).
There is no need for a separate type for this as it's just an internal
storage
optimization method for the type Set. Note that a sparse enough value just
degenerates into a Set anyway.
--
m...@biggar.org
mark.a.big...@comcast.net