From: Duncan Sands <baldrick@free.fr>
To: comp.lang.ada@ada-france.org
Cc: Hyman Rosen <hyrosen@mail.com>
Subject: Re: Dimensions and fixed point types
Date: Fri, 11 Jun 2004 09:46:19 +0200
Date: 2004-06-11T09:46:19+02:00 [thread overview]
Message-ID: <mailman.92.1086939983.391.comp.lang.ada@ada-france.org> (raw)
In-Reply-To: <c8dyc.9097$wi2.8683@nwrdny01.gnilink.net>
On Friday 11 June 2004 09:26, Hyman Rosen wrote:
> Duncan Sands wrote:
> > Fixed point types have a remarkable property:
> > you can multiply any two of them to get a third.
> > You can multiply apples and oranges and get
> > bananas. This goes against type safety.
>
> You appear to imply that multiplying apples and apples
> to get apples, on the other hand, *is* "type safe". Why?
I implied no such thing.
Duncan.
next prev parent reply other threads:[~2004-06-11 7:46 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-06-09 7:11 Dimensions and fixed point types Duncan Sands
2004-06-09 7:47 ` Martin Dowie
2004-06-09 17:04 ` Robert I. Eachus
2004-06-11 7:16 ` Duncan Sands
2004-06-11 7:12 ` Duncan Sands
2004-06-11 7:26 ` Hyman Rosen
2004-06-11 7:46 ` Duncan Sands [this message]
2004-06-11 17:47 ` Hyman Rosen
2004-06-11 19:10 ` Duncan Sands
2004-06-12 3:40 ` Robert I. Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox