Seems OK, but, of course the _domain_ 1..9 is then inappropriate in a
construction like
for i in 1..9 repeat ...
don't you agree?
No. My proposal also includes the idea that the construct
for i in X repeat
should expect X to be any domain that supplies a generator (like Aldor).
In Aldor, at the place of X there must be an element of type
"Generator(Something)", not a domain. Well, if you have somewhere a
function
generator: T -> Generator(Something)
(where T is the type of X) around, then Aldor should be able to silently
insert that function for you.
I must say, I am totally happy with just *one* "for" construction. I am
currently not seeing much use in the domain 1..9, i.e. the finite set
{1, ..., 9}.
Ralf
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
