From: 18k11tm001@sneakemail.com (Russ)
Subject: Re: Safe Units Handling in Ada
Date: 23 May 2002 01:55:47 -0700
Date: 2002-05-23T08:55:47+00:00 [thread overview]
Message-ID: <bebbba07.0205230055.7887cd4e@posting.google.com> (raw)
In-Reply-To: 01HW.B91197820000C3D90E449050@netnews.netaxs.com
William C. Brennan <brennan@netaxs.com> wrote in message news:<01HW.B91197820000C3D90E449050@netnews.netaxs.com>...
> On Wed, 22 May 2002 6:21:24 -0400, Fraser wrote
> (in message <3CEB7124.4050604@blancolioni.org>):
<cut>
> function "/"
> (Left : Kilogram; -- We want this one abstract too.
> Right : Kilogram)
> return Kilogram
> is abstract;
>
> Wouldn't it be also useful to define the operator:
>
> function "/"
> (Left : Kilogram;
> Right : Kilogram)
> return Float_Type;
>
> (where Float_Type is used throughout as a unitless scalar)?
Absolutely. Dividing kg by kg should obviously yield a scalar.
next prev parent reply other threads:[~2002-05-23 8:55 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-05-21 10:01 Safe Units Handling in Ada Fraser Wilson
2002-05-21 14:21 ` Pat Rogers
2002-05-21 15:58 ` Stephen Leake
2002-05-22 8:32 ` Fraser
2002-05-22 10:21 ` Fraser
2002-05-22 16:37 ` Stephen Leake
2002-05-23 10:16 ` Fraser
2002-05-23 16:03 ` Stephen Leake
2002-05-22 22:44 ` William C. Brennan
2002-05-23 8:55 ` Russ [this message]
2002-05-23 9:28 ` Fraser
2002-05-23 10:03 ` martin.m.dowie
2002-05-23 10:24 ` Fraser
2002-05-23 11:03 ` martin.m.dowie
2002-05-23 15:57 ` Dan Andreatta
2002-05-23 16:15 ` Fraser Wilson
2002-05-23 16:48 ` martin.m.dowie
2002-05-23 9:04 ` Russ
2002-05-23 10:01 ` Fraser Wilson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox