On the semantics note: 'until' is not just an abbreviation for 'while
not'. With 'until', the test is not after the body of the loop is
executed. Which means the body is executed at least once.
Oooops. Maybe you have implemented that with a different syntax in
OpenAxiom, but to me it seems that in FriCAs we now can use something like
until empty? somelist repeat
print first somelist
somelist := rest somelist
. If that has the semantic that first the loop body is evaluated and
only then the condition, that would confuse me even more, even in the
case this is precisely described somewhere. If "until" is not at the end
of the loop body, I still vote for removing it.
If we are going to remove things because they are perceived
redundant, I propose to retrain only 'repeat' and remove all the
other iterators. They just abbreviations for some test-and-exit
instructions.
Exactly. That sounds like the specification in Aldor.
Ralf
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
