Re: [Axiom-developer] Question concerning types...

[Gabriel Dos Reis]

"Bill Page" <address@hidden> writes:


[...]

| > Intuitively I would expect Variable to mean simply "an
| > unspecified specific instance of a Domain/Type/what have you"
| > with ALL domains being possible - just so long as you specify
| > the type of the variable, e.g.:
| > 
| > a1 : Variable(Matrix Quaternion Fraction Integer)
| > 
| 
| Suppose there was such a domain constructor named Variable(D: domain)
| which had the properties you suggest. What operations would you expect
| this  domain to export? Would it have the same operations as D? For
| example '+'. Given two objects from the domain Variable(Integer),
| say 'x' and 'y', what is the type of the result of 'x+y'? Is it
| still in Variable(Integer)?

FreeMonoid Variable Integer

-- Gaby