Re: GNAT and Dimension Checking

[AdaMagica <christ-usch.grein@t-online.de>]

On Sunday, July 8, 2012 1:37:16 PM UTC+2, Dmitry A. Kazakov wrote:
> On Sun, 8 Jul 2012 03:33:10 -0700 (PDT), AdaMagica wrote:
> 
> > What astonishes me is that there are so few responses. Every now and then
> > in the past, it seemed there were urgent requests for physical unit
> > checking, and now that an ingenious proposal is there, there is dead
> > silence.
> 
> I guess that most of these were made for the sake of argument rather than
> out of concrete need. Actually, static-only dimension checks have almost no
> use for engineering. Scientific computations might be different, however
> require more than just dimensioned scalars, e.g. dimensioned vectors,
> matrices etc. I think they just choose a units system and don't care about
> dimension analysis.
> 
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de

This has always been my suspicion, which I've put down at several places. I guess this is not worth all the time AdaCore has spent on this.

But perhaps AdaCore have a different view on this. *They* know what *their* customers want and need.