Sujet : Re: Dimensional Analysis
De : mailbox (at) *nospam* dmitry-kazakov.de (Dmitry A. Kazakov)
Groupes : comp.lang.adaDate : 05. Apr 2025, 09:20:14
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vsqp3u$1p809$1@dont-email.me>
References : 1
User-Agent : Mozilla Thunderbird
On 2025-04-05 09:17, Lawrence D'Oliveiro wrote:
So what do you think of this idea? Is it already in use in a
significant way in any Ada code? I figured if any language would be
looking at new ways of writing safer code, it would be the Ada crowd.
;)
Static dimensionality checks are implemented by the GNAT compiler, see
https://gcc.gnu.org/onlinedocs/gnat_ugn/Performing-Dimensionality-Analysis-in-GNAT.htmlFor engineering purposes static checks are worthless. So in practice constrained types and dynamic checks are used instead. See
https://www.dmitry-kazakov.de/ada/units.htm-- Regards,Dmitry A. Kazakovhttp://www.dmitry-kazakov.de
Dimensional Analysis
Re: Dimensional Analysis