comp.lang.ada
 help / color / mirror / Atom feed
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

             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