From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Dimensional Analysis
Date: Sat, 5 Apr 2025 10:20:14 +0200 [thread overview]
Message-ID: <vsqp3u$1p809$1@dont-email.me> (raw)
In-Reply-To: <vsqleu$1ktm5$1@dont-email.me>
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.html
For 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. Kazakov
http://www.dmitry-kazakov.de
prev parent reply other threads:[~2025-04-05 8:20 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-04-05 7:17 Dimensional Analysis Lawrence D'Oliveiro
2025-04-05 8:20 ` Dmitry A. Kazakov [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox