Re: [open-axiom-devel] record selector

Bill Page <bill.page <at> newsynthesis.org> writes:

| On Feb 21, 2012 12:33 PM, "Gabriel Dos Reis" <gdr <at> cs.tamu.edu> wrote:
| >
| > Bill Page <bill.page <at> 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 
| >
|