Re: Are Fraction and Complex domains.

Francois Maltey <[email protected]> writes:

| Hello,
| 
| What is the finest term ?
| 
| Integer is a domain, 
| 
| Can I say : " Complex Integer is a domain " ?

I think so.

|        or   " Complex " is a domain with a parameter as Integer ?

"Complex" is the name of a (type) function.  "Complex ?" is a mode.
(Integer is a mode too, but that is less interesting.)

|        or   " Complex " construct a domain, but isn't a domain ?

I think so.

|        or   " Integer " is an abbreviation for Integer without parameter ?

from the functional perspective, Integer is a nullary (type) function;
it is actually a type constant.

HTH,

-- Gaby