From: Hyman Rosen <hyrosen@mail.com>
Subject: Re: Dimensions and fixed point types
Date: Fri, 11 Jun 2004 17:47:09 GMT
Date: 2004-06-11T17:47:09+00:00 [thread overview]
Message-ID: <xemyc.11946$wi2.4321@nwrdny01.gnilink.net> (raw)
In-Reply-To: <mailman.92.1086939983.391.comp.lang.ada@ada-france.org>
Duncan Sands wrote:
> On Friday 11 June 2004 09:26, Hyman Rosen wrote:
>>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.
Well, here's what you said:
> It seems to me that a much better approach would be
> to say that multiplication between different fixed
> point types is NOT automatically defined
This certainly implies that you believe that multiplication
of a fixed point type with itself should be automatically
defined. How else is one to read this?
next prev parent reply other threads:[~2004-06-11 17:47 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
2004-06-11 17:47 ` Hyman Rosen [this message]
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