Bill Page <bill.p...@newsynthesis.org> writes: | On Feb 21, 2012 12:33 PM, "Gabriel Dos Reis" <g...@cs.tamu.edu> wrote: | > | > 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? | > | | Yes but please ask a more specific question.
I thought I did. I do understand the entire paragraph. | > | 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 :-) | > | | Does Mapping export 'eval' ? Nope. | Check the library for an example of 'apply'. that is part of "user confusion". | (Or perhaps OpenAxiom has eliminated this?) Nope. -- Gaby ------------------------------------------------------------------------------ Virtualization & Cloud Management Using Capacity Planning Cloud computing makes use of virtualization - but cloud computing also focuses on allowing computing to be delivered as a service. http://www.accelacomm.com/jaw/sfnl/114/51521223/ _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
