[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#187 trouble with tuples] functions are objects of ty
[Axiom-developer] [#187 trouble with tuples] functions are objects of type Mapping
Sun, 03 Jul 2005 22:48:32 -0500
Bill Page wrote:
> I think such tuples should be Products ...
>From page 246 of the Axiom book:
"The type of a function is always a mapping of the form
Source -> Target where Source and Target are types."
and from page 1085:
"Domains Mapping, Record, and Union are primitive domains. All
other domains are written in the Axiom programming language ..."
>From a mathematical point of view clearly the idea that
Mapping(T, A, B) denotes the class of mappings from (A, B)
into T implies that (A,B) denotes some kind of set, i.e.
William Sit wrote:
> I don't agree. When one wraps up something into a single object,
> it is inconvenient to look at the parts without unwrapping.
But [Cartesian Product] is implemented as a Record and the
domain Record is a primative in Axiom. So my proposal above
amounts to stating, for example, that:
should be viewed as equivalent to
And in fact after a simple optimization, the compiler should
be able to produce equivalent internal lisp code.
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden
|[Prev in Thread]
||[Next in Thread]|
- [Axiom-developer] [#187 trouble with tuples] functions are objects of type Mapping,
Bill Page <=