From: "Robert I. Eachus" <rieachus@comcast.net>
Subject: Re: Typing in Ada
Date: Wed, 02 Jun 2004 00:39:10 -0400
Date: 2004-06-02T00:39:10-04:00 [thread overview]
Message-ID: <EaadnbVKVZFzxCDdRVn-tw@comcast.com> (raw)
In-Reply-To: <Xns94FAD66E1E08Bpchapinsovernet@207.106.92.237>
Peter C. Chapin wrote:
> Yes, Ada provides ranges as distinct types without automatic conversions
> and that's a nice feature. In theory you could get some of the same
> benifits in C by introducing an abstract type (as a structure) to hold a
> range. It could be done much more nicely in C++ using templates,
> overloaded operators, and other C++ features. The reality is, though, that
> many C (or C++) programs don't bother. Perhaps they should.
>
> It's not clear to me how all this relates to the concept of strong typing.
> I guess it would be helpful to have a precise definition of that term. It
> sounds like from what we've said here that strong typing more a matter of
> programming style than a language feature... at least where C and Ada are
> concerned. Is that a valid conclusion?
I guess the real difference between C (or C++) and Ada is that Ada has
many features you get "for free" at compile time if you use strong
typing. The most visible of these in Ada is overloading and overload
resolution. To extend the Apples and Oranges example, if I define
type Apple is (McIntosh, Granny_Smith, Winesap, Golden_Delicious,...);
type Orange is (Valencia, Navel, Mandarin, Seville, Bergamot...);
then
Eat(McIntosh); -- will call the Eat function for Apples, and
Eat(Navel);
-- will call the Eat function for Oranges, and peel it first. ;-)
The most important benefit of this is that if a procedure or functions
has a multitude of parameters some possibly with defaults, when
programming in Ada, you don't have to "validate" the call against the
function template. The compiler will do that for you, and detect most
errors.
Of course, if you write "C := A - B;" when you meant "C := B - A;" the
compiler probably won't catch that. However there are cases where it
will. For example, Ada.Calendar defines:
function "-" (Left : Time; Right : Duration) return Time;
function "-" (Left : Time; Right : Time) return Duration;
But no operation for subtracting Time from Duration. So Ada would catch
a call to the first "-" with the parameters in the wrong order, but
could not detect such an inversion if the parameters were both of type
Time.
--
Robert I. Eachus
"The terrorists rejoice in the killing of the innocent, and have
promised similar violence against Americans, against all free peoples,
and against any Muslims who reject their ideology of murder. Their
barbarism cannot be appeased, and their hatred cannot be satisfied.
There's only one way to deal with terror: We must confront the enemy and
stay on the offensive until these killers are defeated." -- George W. Bush
next prev parent reply other threads:[~2004-06-02 4:39 UTC|newest]
Thread overview: 67+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-05-31 13:32 Typing in Ada Empit
2004-05-31 14:04 ` Poul-Erik Andreasen
2004-05-31 17:01 ` Jeffrey Carter
2004-05-31 20:03 ` Peter C. Chapin
2004-05-31 22:56 ` tmoran
2004-06-01 1:09 ` Peter C. Chapin
2004-06-01 4:40 ` tmoran
2004-06-01 11:26 ` Peter C. Chapin
2004-06-10 3:01 ` Dave Thompson
2004-06-10 3:00 ` Dave Thompson
2004-05-31 23:22 ` Nick Roberts
2004-06-01 1:04 ` Peter C. Chapin
2004-06-01 2:29 ` Nick Roberts
2004-06-02 4:39 ` Robert I. Eachus [this message]
2004-06-02 15:17 ` Hyman Rosen
2004-06-01 2:36 ` Hyman Rosen
2004-06-01 4:27 ` Larry Kilgallen
2004-06-01 4:05 ` Hyman Rosen
[not found] ` <d4vnb0tepd4togdrvdrbqpok1ne6n9i2vp@4ax.com>
2004-06-01 14:36 ` Wes Groleau
2004-06-01 20:24 ` Niklas Holsti
2004-06-02 4:43 ` Wes Groleau
2004-06-02 5:28 ` Robert I. Eachus
2004-06-02 8:19 ` tmoran
2004-06-02 14:47 ` Wes Groleau
2004-06-02 11:26 ` Marin David Condic
2004-06-02 14:54 ` gratuitous restrictions (was:Typing in Ada) Wes Groleau
2004-06-02 5:04 ` Typing in Ada Robert I. Eachus
2004-06-01 2:14 ` David C. Hoos
2004-06-02 1:30 ` Jeffrey Carter
2004-06-02 10:53 ` Peter C. Chapin
2004-06-02 11:38 ` Marin David Condic
2004-06-17 2:50 ` Dave Thompson
2004-06-17 4:24 ` James Rogers
2004-06-17 12:28 ` Hyman Rosen
2004-06-17 23:42 ` James Rogers
2004-06-20 11:27 ` Nick Roberts
2004-06-20 23:29 ` new revision ada Brian May
2004-06-21 2:16 ` tmoran
2004-06-21 2:34 ` James Rogers
2004-06-22 2:16 ` Roland Illig
2004-06-22 3:41 ` James Rogers
2004-06-22 6:53 ` Martin Krischik
2004-06-21 23:33 ` Brian May
2004-06-22 20:26 ` Simon Wright
2004-06-23 0:50 ` Larry Elmore
2004-06-22 22:06 ` tmoran
2004-06-21 5:31 ` Wes Groleau
2004-06-21 12:27 ` new revision ada (limited with, excpetion handling) Nick Roberts
2004-06-21 13:04 ` Martin Dowie
2004-06-22 10:38 ` new revision ada Georg Bauhaus
2004-06-22 12:45 ` James Rogers
2004-06-22 15:17 ` Martin Krischik
2004-06-22 16:09 ` new revision ada (exception handling) Nick Roberts
2004-06-23 7:55 ` Pascal Obry
2004-06-23 8:40 ` Martin Krischik
2004-06-23 19:33 ` Randy Brukardt
2004-06-24 6:57 ` Martin Krischik
2004-06-24 21:13 ` Randy Brukardt
2004-06-25 8:05 ` Dmitry A. Kazakov
2004-06-25 17:28 ` Randy Brukardt
2004-06-23 4:31 ` new revision ada Brian May
2004-06-23 19:47 ` Randy Brukardt
2004-06-22 16:37 ` Georg Bauhaus
2004-06-26 14:57 ` Robert I. Eachus
2004-06-01 1:02 ` Typing in Ada Alexander E. Kopilovich
-- strict thread matches above, loose matches on Subject: below --
2004-06-01 2:11 David C. Hoos, Sr.
2004-06-01 2:13 David C. Hoos, Sr.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox