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: 15 Feb 93 18:23:40 GMT
From: cis.ohio-state.edu!news.sei.cmu.edu!jldh@ucbvax.Berkeley.EDU  (Jorge Luis
 Diaz-Herrera)
Subject: Re: Dimensions (was: What's the difference between...)
Message-ID: <1993Feb15.132340.1116@sei.cmu.edu>
List-Id: <comp.lang.ada>

In article <1993Feb15.151209.7531@inmet.camb.inmet.com>, stt@spock.camb.inmet.c
om (Tucker Taft) writes:
|> In article <1993Feb13.232516.5229@seas.gwu.edu> 
|>   mfeldman@seas.gwu.edu (Michael Feldman) writes:
|> 
|> >In article <1993Feb13.191810.4452@inmet.camb.inmet.com> 
|>   stt@spock.camb.inmet.com (Tucker Taft) writes:
|> 
|> >> . . . Explicit type conversion is required (of course
|> . . .
|> >Mike Feldman
|> 
|> S. Tucker Taft    stt@inmet.com
|> Ada 9X Mapping/Revision Team
|> Intermetrics, Inc.
|> Cambridge,  MA  02138

"Dimensions as types have no place in Ada because they are @definable in Ada
without extra language features" 
	Paul N. Hilfinger, UC Berkeley 
	"An Ada package for dimensional analysis" (AD-A169-223)

This report contains a nice description of the problem and examples.
jld-h
--..--