comp.lang.ada
 help / color / mirror / Atom feed
From: "Ira D. Baxter" <idbaxter@semdesigns.com>
Subject: Re: Wrong SI unit specification (& restore Ada relevance somewhat)
Date: Mon, 12 Feb 2001 09:03:47 -0600
Date: 2001-02-12T09:03:47-06:00	[thread overview]
Message-ID: <t8fuhsoub3chff@corp.supernews.com> (raw)
In-Reply-To: 3A8773E7.4330040F@bellsouth.net

Regardless of how the issue of spelling out units is resolved,
the real value in having units is to communicate to algorithm
users what the values really mean.

It seems that it would be useful to have the *compiler* know
what the units mean, too, so it could check for misuse.
Imagine assigning ergs to dollars without a cast :-}

How much value would such units-checking provide,
and how can one measure that value?
(I think NASA lost a recent Mars probe to a units misinterpretaion.
It is arguable if compiler-checking would have caught that).

--
Ira D. Baxter, Ph.D.,CTO           email: idbaxter@semdesigns.com
Semantic Designs, Inc.              web: http://www.semdesigns.com
12636 Research Blvd. C-214    voice: (512) 250-1018 x140
Austin, TX 78759-2200             fax: (512) 250-1191


> Clearly, the only suitable approach is to use spelled-out names.
So when I write in Ada, I
> follow the typical Ada practice, not English, although I try to
> make my Ada read reasonably well like English.
>
> Howard W. LUDWIG






  parent reply	other threads:[~2001-02-12 15:03 UTC|newest]

Thread overview: 22+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-01-31 12:59 Wrong SI unit specification Christoph Grein
2001-01-31 15:12 ` Howard W. LUDWIG
2001-01-31 16:03   ` Ian Wild
2001-02-04 16:36     ` Gene Nygaard
2001-01-31 15:12 ` Howard W. LUDWIG
2001-02-02 22:02   ` Georg Bauhaus
2001-02-04 16:30     ` Gene Nygaard
2001-02-10 16:33       ` Georg Bauhaus
2001-02-12  9:43         ` dmitry6243
2001-02-12  5:25     ` Wrong SI unit specification (& restore Ada relevance somewhat) The Ludwig Family
2001-02-12  6:54       ` SI and German Language (irrelevant, was: Wrong SI unit ...) Wilhelm Spickermann
2001-02-12 16:41         ` Howard W. LUDWIG
2001-02-12 20:01           ` Wilhelm Spickermann
2001-02-13 15:36             ` Georg Bauhaus
2001-02-13 16:16               ` Georg Bauhaus
2001-02-13 22:53           ` Florian Weimer
2001-02-12 15:03       ` Ira D. Baxter [this message]
2001-02-12 18:39       ` Wrong SI unit specification (& restore Ada relevance somewhat) Karel Thoenissen
2001-01-31 22:25 ` Wrong SI unit specification Singlespeeder
2001-01-31 23:16   ` Keith Thompson
2001-02-02 12:54 ` dmitry6243
2001-02-02 16:29   ` Wrong SI unit specification (non-Ada relevant) Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox