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
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
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 eac
Jon Lang wrote:
Darren Duncan wrote:
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
Jon Lang wrote:
Keys, OTOH, don't have any such requirement; so continuous keys may
very well be doable. If they _are_ doable, you have to ask questions
such as "how do I assign values to a continuous interval of keys?" To
truly be robust, we ought also answer this question in terms of
multidi
