Bear scripsit:

> It is sensible in terms of programming language semantics.  But someone
> who knew only traditional mathematical semantics would have no way to
> guess the programming language semantics, and would find them opaque.

My point is that it's no more nonsensical than any other inexact so-called
number.  0.0 is *not* the number 0, but an interval closed on 0 and
open on the smallest denormalized positive number (at least in IEEE,
where -0.0 exists).  And you can give a similar story for 1.0 or 3.14159
or whatever inexact number you like.

--
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
The peculiar excellence of comedy is its excellent fooling, and Aristophanes's
claim to immortality is based upon one title only: he was a master maker
of comedy, he could fool excellently.  Here Gilbert stands side by side
with him.  He, too, could write the most admirable nonsense.  There has
never been better fooling than his, and a comparison with him carries
nothing derogatory to the great Athenian. --Edith Hamilton, The Greek Way

--
You received this message because you are subscribed to the Google Groups "scheme-reports-wg2" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scheme-reports-wg2+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.