Re: Ranges for well-ordered types

On Sun, Jun 11, 2006 at 15:13:39 +0900,
Michael Glaesemann <grzm(at)seespotcode(dot)net> wrote:
>
> That's different from being able to show equivalence between two
> ranges in different representations, e.g., r1 = r2 iff a1 = a2 and b1
> = next(b2). As Bruno pointed out earlier, in some cases, a closed-
> open representation is desirable, and I think that in others, such as
> date ranges, a closed-closed representation is useful. Another place
> where I'd use a closed-closed representation would be for describing
> score ranges for grades (e.g., 70-79 is a C, 80-89 is a B). I'm not
> sure how to go about converting between these two representations
> without using a successor (or predecessor) function.

Date ranges are really closed open as well (as finite sets of isolated points
are both open and closed). The only oddity would be that the date used to
indicate the open end of the range might not be what the user expects.