[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issue: REAL-NUMBER-TYPE (version 2)

   There are dangers in introducing the term REAL.  It encourages the
   widespread confusion between a computer type, REAL, which of necessity
   denotes a countable class of symbols, with the mathematical object (which
   I'll call R), which is non-denumerable.

Don't we already have such problems with COMPLEX?

Hummm, maybe you're right, and we shouldn't have REAL.  Common Lisp
COMPLEX seems to mean the representastion rather than the set, so that

     (subtypep 'rational 'complex) => NIL, T

So adding REAL seems to imply further revisions.