From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT and Dimension Checking
Date: Sun, 8 Jul 2012 13:37:16 +0200
Date: 2012-07-08T13:37:16+02:00 [thread overview]
Message-ID: <s6p3s30irtgq.1hv1yfp4id7fb.dlg@40tude.net> (raw)
In-Reply-To: 7ca251de-8f43-434e-8884-85fef7f493e2@googlegroups.com
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
next prev parent reply other threads:[~2012-07-08 11:37 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-01 5:53 GNAT and Dimension Checking AdaMagica
2012-07-01 6:25 ` Nasser M. Abbasi
2012-07-01 10:44 ` yogeshwarsing
2012-07-02 20:42 ` Anh Vo
2012-07-02 20:58 ` Adam Beneschan
2012-07-02 21:51 ` Anh Vo
2012-07-01 15:18 ` AdaMagica
2012-07-01 15:47 ` yogeshwarsing
2012-07-06 10:47 ` AdaMagica
2012-07-08 1:50 ` Robert A Duff
2012-07-08 10:33 ` AdaMagica
2012-07-08 11:37 ` Dmitry A. Kazakov [this message]
2012-07-08 14:13 ` AdaMagica
2012-07-08 18:47 ` Jacob Sparre Andersen
2012-07-09 11:06 ` AdaMagica
2012-07-09 8:20 ` Martin
2012-07-09 11:19 ` AdaMagica
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox