Re: [Axiom-math] Are Fraction and Complex domains.

[Gabriel Dos Reis]

"Page, Bill" <address@hidden> writes:

[...]

| > Algol uses the term "mode" for what we call "type."  At
| > least my manual of Algol 68-R says (page 1):
| >
| >    Values are classified according to type, known in
| >    Algol 68 as their /mode/. 
| 
| I like Gaby's first answer better than the 2nd. Specifically,
| in the Axiom interpreter "Complex ?" (literally including
| the ? ) is a called a "mode". This has nothing much to do
| with the use of the term "mode" in Algol.

the second answer was for Ralf's question

    Is that some common term used in some context?

I thought by "some context", he meant "outside the Axiom world"; but
upon reading your message, I realize that wasn't a good
interpretation.  

[...]

| The Aldor users' guide also uses the term "type constructor"
| e.g. in reference to 'List'. Since in Aldor domains are types
| the Axiom terminology makes sense. See section 5.6, page 42
| and section 7.2, page 75, and even in one place, page 230,
| the term "domain constructor".

Indeed.

-- Gaby