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

Re: [Scheme-reports] Strong win later reversed: Real numbers have imaginary part #e0

On Wed, 19 Dec 2012 20:06:28 -0500, Mark H Weaver <mhw@x> said:
> ...
> No, several implementations (e.g. SCM, Gauche, Guile before 2.0, and
> probably others) do not even support mixed exactness complex numbers of
> this special kind, so (imag-part 2.0) => 0.0.

  Well, I believe that another point of view is preferable, namely,
  that (imag-part z) => 0 means that z is (certainly) a real number
  and that (imag-part z) => 0.0 means that z is a complex number very
  near and possibly, but not necessarily, on the real axis [*].
  (Therefore, (imag-part 2.0) => 0.)  But that's just my 2/100+0i.

  [*] the distinction between +0.0 and -0.0 here is left as an


Vassil Nikolov | Васил Николов | <vnikolov@x>

"Be careful how you fix what you don't understand."  (Brooks 2010, 185)

Scheme-reports mailing list