comp.lang.ada
 help / color / mirror / Atom feed
From: <adaworks@sbcglobal.net>
Subject: Re: Working with incompetent adaists / unsafe typing war story
Date: Thu, 16 Feb 2006 23:57:01 GMT
Date: 2006-02-16T23:57:01+00:00	[thread overview]
Message-ID: <hj8Jf.30641$F_3.2253@newssvr29.news.prodigy.net> (raw)
In-Reply-To: VeRIf.30362$3V4.15715@trnddc06


"Anonymous Coward" <anonymous@coward.org> wrote in message
news:VeRIf.30362$3V4.15715@trnddc06...
>
> Do you folks encounter this frequently?  And what's the solution?
> Management can never appreciate the benefits of concepts like type
> safety.  Strong typing is incorrectly viewed as "academic" and counter
> to progress.
>
I was at an Ada conference many years ago, before the end of the
mandate, and visiting the booth of a well-known CASE tool
publisher.   They began to demonstrate the tool for me.

At one point the person doing the demonstration said something
such as, "Well let's get rid of these limited private types since they
cannot be used for anything useful."   He then continued with his
demonstration of the tool.

I was horrified, but decided to remain polite.   It would have been
no good to try to educate him to the contrary.

From an engineering perspective (although not from a programmer's
point-of-view) it is quite valuable that we cannot overload the
assignment operation and do other little things that are easy in
languages without the equivalent of limited private.   Yes, to do
assignment on a limited type we must create a procedure, but that
is not a bad thing -- it is a good thing.

One of my early mentors in Ada, Doug Bryan, once said, "Until
you understand 'limited' you don't understand Ada."   I eventually
learned just how right he was.

With Ada, we are not trying to appeal to the programmer.  Rather,
we are concerned with good engineering practice.   Ada continues
to be the best language available when one is focused on engineering
rather than programming.

Richard Riehle





  parent reply	other threads:[~2006-02-16 23:57 UTC|newest]

Thread overview: 26+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-02-16  2:15 Working with incompetent adaists / unsafe typing war story Anonymous Coward
2006-02-16  8:32 ` Jean-Pierre Rosen
2006-02-16 16:10   ` Peter C. Chapin
2006-02-17  9:27   ` Jerome Hugues
2006-02-17  9:48     ` Stephen Leake
2006-02-16 10:20 ` stephe_on_the_web
2006-02-17  4:19   ` Anonymous Coward
2006-02-17  5:25     ` Jeffrey R. Carter
2006-02-19  3:58     ` adaworks
2006-02-19 15:28       ` Stephen Leake
2006-02-16 20:17 ` Ludovic Brenta
2006-02-17  4:25   ` Anonymous Coward
2006-02-17 23:09     ` Ludovic Brenta
2006-02-16 23:57 ` adaworks [this message]
     [not found]   ` <7glav1paqvs5oco9nn9s5gknlimfu8aglg@4ax.com>
2006-02-17 13:39     ` Marc A. Criley
2006-02-17 18:55   ` Simon Wright
2006-02-17 20:43     ` Pascal Obry
2006-02-17 21:02     ` Stefan Lucks
2006-02-17 21:04       ` Pascal Obry
2006-02-18  9:58       ` Simon Wright
2006-02-17  1:57 ` Brian May
2006-02-17  5:29   ` Jeffrey R. Carter
2006-02-17 12:43     ` Simon Clubley
2006-02-17 19:18       ` Jeffrey R. Carter
2006-02-20  4:44   ` Anonymous Coward
2006-02-20  7:42     ` Brian May
replies disabled

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