From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Incompatible types for array conversion
Date: Wed, 22 Jul 2015 21:02:31 +0200
Date: 2015-07-22T21:02:31+02:00 [thread overview]
Message-ID: <1cyej2oq62tpp$.4qkbx19s43mx.dlg@40tude.net> (raw)
In-Reply-To: d1a3f1Fp5r4U1@mid.individual.net
On Wed, 22 Jul 2015 20:50:25 +0300, Niklas Holsti wrote:
> For physical units/dimensions, I believe the best current solution is
> the "aspects" approach in GNAT; see, for example:
>
> https://gcc.gnu.org/onlinedocs/gnat_ugn/Performing-Dimensionality-Analysis-in-GNAT.html
>
> http://www.christ-usch-grein.homepage.t-online.de/Ada/Dimension/Physical_units_with_GNAT_GPL_2013-AUJ35.1.pdf
>
> It is still GNAT-specific, though.
For not GNAT-specific approach, especially, for engineering rather than
computations, see:
http://www.dmitry-kazakov.de/ada/units.htm
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2015-07-22 19:02 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-22 1:19 Incompatible types for array conversion hreba
2015-07-22 5:20 ` Niklas Holsti
2015-07-22 7:13 ` Simon Wright
2015-07-22 7:41 ` Niklas Holsti
2015-07-22 12:32 ` Simon Wright
2015-07-27 23:12 ` Randy Brukardt
2015-07-22 13:00 ` hreba
2015-07-22 13:22 ` hreba
2015-07-22 17:50 ` Niklas Holsti
2015-07-22 19:02 ` Dmitry A. Kazakov [this message]
2015-07-22 6:49 ` Georg Bauhaus
2015-07-22 12:57 ` hreba
2015-07-22 14:22 ` G.B.
2015-07-23 13:21 ` hreba
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox