On 2009-Oct-5, at 3:41 pm, Jon Lang wrote:
Concerning that last one: would it be reasonable to have a Discrete
role
that provides a .succ method, and then overload the Range role?
I think a type needs to be Discrete and Ordered for successors to make
sense (e.g. consider a discrete unordered type like Complex ints).
I'm still thinking a Discrete type is the same as a Set; so perhaps
Discrete & Ordered means "Positional"? But that doesn't feel right --
although any ordered set can be represented as an array, that seems to
confuse the idea of "order" that is intended.
(And perhaps "Discrete" should be a different type from "Set" even if
they do work out the same, simply to better document one's intent.)
-David
