From: agate!spool.mu.edu!sdd.hp.com!portal!cup.portal.com!R_Tim_Coslet@ucbvax.B
Subject: Re: What's the difference between...
Date: 14 Feb 93 03:08:30 GMT [thread overview]
Message-ID: <75591@cup.portal.com> (raw)
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
next reply other threads:[~1993-02-14 3:08 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-02-14 3:08 agate!spool.mu.edu!sdd.hp.com!portal!cup.portal.com!R_Tim_Coslet [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-02-16 17:34 What's the difference between John Bollenbacher
1993-02-16 16:17 enterpoop.mit.edu!ira.uka.de!scsing.switch.ch!sicsun!disuns2!lglsun!kipfe
1993-02-16 15:03 Robert I. Eachus
1993-02-15 13:24 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!haven.umd.ed
1993-02-15 1:55 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sdd.hp.com!portal!cup.portal
1993-02-14 19:55 Adam Beneschan
1993-02-13 19:18 agate!spool.mu.edu!hri.com!noc.near.net!inmet!spock!stt
1993-02-13 5:30 Alex Blakemore
1993-02-12 23:57 Mark A Biggar
1993-02-12 23:51 kronos.arc.nasa.gov!butch!LMSC5.IS.LMSC.LOCKHEED.COM!LJ10891
1993-02-12 22:58 Robert I. Eachus
1993-02-12 18:52 Kenneth Anderson
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox