comp.lang.ada
 help / color / mirror / Atom feed
From: Hyman Rosen <hyrosen@mail.com>
Subject: Re: Dimensions and fixed point types
Date: Fri, 11 Jun 2004 07:26:00 GMT
Date: 2004-06-11T07:26:00+00:00	[thread overview]
Message-ID: <c8dyc.9097$wi2.8683@nwrdny01.gnilink.net> (raw)
In-Reply-To: <mailman.77.1086765132.391.comp.lang.ada@ada-france.org>

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?



  parent reply	other threads:[~2004-06-11  7:26 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 [this message]
2004-06-11  7:46   ` Duncan Sands
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