From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Date: 14 Feb 93 03:08:30 GMT
From: agate!spool.mu.edu!sdd.hp.com!portal!cup.portal.com!R_Tim_Coslet@ucbvax.B
erkeley.EDU
Subject: Re: What's the difference between...
Message-ID: <75591@cup.portal.com>
List-Id: <comp.lang.ada>

In Article: <1993Feb13.191810.4452@inmet.camb.inmet.com>
	stt@spock.camb.inmet.com (Tucker Taft) Wrote:
>The important point (which you and others have already made) has
>to do with static semantics, not representation.  Operands of distinct types
>cannot be mistakenly combined using the predefined operators or
>assignment.  Explicit type conversion is required (of course
>that's a bit annoying for multiplication -- we never did get
>around to putting full support for "units" into Ada).
Actually, if you know you are going to be multiplying mixed types
(e.g. APPLES in a crate by CRATES to get APPLES in a shipment) just
define a new multiply operator on the mixed types so the "conversion"
is hidden and "units" are enforced by the compiler.

                                        R. Tim Coslet

Usenet: R_Tim_Coslet@cup.portal.com
        technology, n.  domesticated natural phenomena