> | Suppose I test with students :
> | star (x, y) == x + y - x*y
> |
> | Then I prefer the command (x *%* y) *%* z to star (star (x, y), z)...
>
> If you use domains, you can overload + and *.
Sometimes I also wish to be able to introduce new operators.
Unfortunately, they are fixed in SPAD as well as in Aldor.
If I am allowed to dream then I would like to be able to write something
like
(x: A) \oplus (y: A): A == ...
(with \oplus being the actual (unicode) character for that operator).
Of course that raises lots of questions and I am not 100% sure whether
it would be a good idea to
1) allow unicode in identifiers
2) being able as a user to introduce new infix/postfix operators with
assigned precedences
Ralf
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
