Bill Page <bill.p...@newsynthesis.org> writes: | I think your comment is very appropriate. Since the semantics of | Record is well represented as a limit (and dually, Union is | represented as a co-limit), selecting a field is just projection (or | injection in the case of Union). Axiom should respect this by have | Record (and Union) export these operations.
I am having hard time understanding what exactly you are saying. Could you elaborate? | It seems to me that the Axiom developers were ambivalent about the use | of elt (dot), apply, eval and function application. There use could be | simplified and clarified. The canonical operator name for `function application' is `elt' in all AXIOMs and that is what the axiom compilers and interpreters understand. `eval' isn't application; it is evaluation which is a different notion. All the rest is just user confusion :-) -- Gaby ------------------------------------------------------------------------------ Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
