Re: Dimensionality Checking (Ada 20XX)

[Wes Groleau <wwgrol@sparc01.ftw.rsc.raytheon.com>]

Mark Lundquist wrote:
> > I don't believe unit specification (and therefore dimension checking) is
> > applicable to floating-point types.
> 
> Why in the world not?

Yeah, why not?

> 2) There's a bad problem with generics.  Unit-safe programming totally
> destroys the generic contract model.  For example... given this:
> 
>     generic
>         type T is digits <>;
>     function F (X, Y : T) return T;
> 
> How can you tell if this is legal?:

I've seen generics that were legal (in the sense of compiling)
but where the compiler was capable of rejecting particular
instantiations.  I've also seen instantiations where the illegality
was detected at run-time.  My memory is fuzzy on the details, though.

-- 
Wes Groleau
http://freepages.rootsweb.com/~wgroleau