"Page, Bill" <[EMAIL PROTECTED]> 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
_______________________________________________
Axiom-math mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-math
