Re: Ranges and the Enum class

On 2006-03-18, Jim Apple wrote:

On 3/18/06, Aaron Denney wrote:

...

Rational _could_ be added here by the diagonal representation, but probably sohuldn't.

We could also add an actual enumeration of rationals, as in http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/rationals.p...

It would be quite confusing to write, say, [1%2 .. 3%2] and get 2%1 and 1%3 in the middle!

Right, hence my desire to make it a sequence, but not Enumerable, since it has quite a few different quasi-natural ways of doing so. -- Aaron Denney -><-