On 14 Jul 2007 08:41:02 +0200, Martin Rubey wrote:
Stephen Wilson writes:
> Perhaps the best solution in this case is as Bill Page suggested,
> implementing keyword arguments in Axiom, allowing us to write [a:1] or
> [b:1] thus enabling unambiguous specification of the branch.
Please (!) do it the aldor way, i.e., use == instead of :. There is no reason
here to diverge from aldor syntax.
...
Actually I agree with Martin. *If* we need this, it should be done the
way it is done in Aldor. But note: This is *not* the way I think Union
should be implemented. Union should be the categorical dual of Record,
neither of which need to resort to lower level constructs like
keywords.
Regards,
Bill Page.
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
