comp.lang.ada
 help / color / mirror / Atom feed
From: jcallen@Encore.COM (Jerry Callen)
Subject: Re: The Future of Ada
Date: 15 Aug 90 17:52:56 GMT	[thread overview]
Message-ID: <12490@encore.Encore.COM> (raw)
In-Reply-To: 1990Aug15.151935.8848@sctc.com

In article <1990Aug15.151935.8848@sctc.com> endrizzi@sctc.com (Michael Endrizzi ) writes:
>This is why the survival of Ada is at stake:
>
>	1)Control
>	2)Cost
>	3)Complexity
>
>1)Control: Programmers and our associated egos like to be in control 
>of our destinys. On paper, Ada is a powerful tool that automates
>many of the manual checks (recompilation, type checking) that
>other languages lack. By using this tool, we give up control.
>Big egos don't like to give up control. And when that tool
>doesn't work right, it's like being in a speeding car with
>not steering wheel driving in the mountains.

I don't really view type checking as a loss of control; rather, as you
pointed out, it automates an otherwise tedious part of my job. The
ability to override the checking is there when you really need it, via
unchecked_conversion, pragma interface, and (if you're lucky enough
to be using a system supports it) machine code insertions. My ego has
survived, and no one has ever accused me of having a small ego! :-)

It _is_ really annoying when the tools let you down. In my experience,
though, this happens pretty rarely, and I'd rather put up with the few
failures than live without the conveniences.

>C/Unix on the other hand is a hackers tool. If this don't
>work right...well we all know how easy it is to flip a
>few bits here and there to make it work.

Actually, Ada/Unix can be a hacker's tool, too. At least, that's how _I_
often treat it. Judicious use of the overrides I mentioned above allow
me to dig as deep a hole for myself as I wish. :-)

>2)Cost: Quality Ada environments are expensive and resource hogs.

Sigh. Some myths never die. I'm currently using Ada on an Opus PM8000
(Moto 88K board in a stock AT clone). Ada compilations zip right along;
I can recompile about 100 medium-sized units (averaging a few hundred lines
each) in about 10 minutes. I share this machine with several other users also
doing Ada compilations. You'ld have to put a gun to my head to get me to move
onto a VAX/VMS system and off this little PC (hey, this is _unix_, not VMS!).

>C/Unix on the other hand is basically free. GCC is probably
>one of the highest quality C products and it is free.

No argument here. Gada, anyone?

>Unix comes standard on some systems.  Compile times, storage
>requirements are reasonable in a multi-user environment.

See above.

>3)Complexity: On paper Ada is addictive, elegant,  true
>solution to multi-person life-cycle software engineering.
>In reality, I know of only 2 products that are usable:
>
>	1) Rational
>	2) DEC
>
>(there might be others, but these are the ones most
>talked about and I am familiar with). 

I have biases I'd rather not reveal, but I think this list could be
expanded. I'm reasonably happy with the system I'm using right now.
(Actually, I don't much like some of the internals, but...)
I have been happy with another system that actually has a more complex
(but, surprisingly, much more usable) library system.

>The platform must either be customized (Rational) or of
>high quality (DEC/VMS).  Unix was/is/will always be a disaster

Hey! You knockin' Unix, buster? Themz fightin' words! :-)

Nearly ALL of my Ada experience (aside from some unpleasantness involving
large bluish machines...) has been on Unix. I love it.

>Also, very few vendors are able to master these technologies.
>Either they  are too small to afford it or the egos are so
>damn huge in the individual fields that they can't bring the
>team together to build a quality product.

Lots of truth to these words. Anyone who tries to tell you that an Ada
compiler isn't more complex than a C compiler may also try to sell you
a bridge.

But some vendors _are_ doing it, or at least coming close. The technology
is maturing. I think there was a tendency on the part of early Ada implementors
to produce over-engineered systems that were, in fact, fragile resource hogs.
But the shake-out is happening; the surviving vendors keep refining their
products, and the compilers get better and better. Unfortunately, the bad
first impressions linger, and not everyone burned by a bad compiler is willing
to put up the bucks for a newer, better compiler.

>I am done rambling. I learned my lesson. Ada taught me many
>great concepts and but also the realities of life.
>
>		au revoir Ada, :-(   (sniffle,sniffle)

Aw, shucks, don't give up on the old gal yet! :-) 

-- Jerry Callen
   jcallen@encore.com

  reply	other threads:[~1990-08-15 17:52 UTC|newest]

Thread overview: 112+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1990-08-15 15:19 The Future of Ada Michael Endrizzi 
1990-08-15 17:52 ` Jerry Callen [this message]
1990-08-17 17:21   ` Steve Vestal
1990-08-15 18:32 ` Ada and Unix (was several other things in the last couple of weeks) David Kassover
  -- strict thread matches above, loose matches on Subject: below --
1990-08-15 18:49 The Future of Ada Edward V. Berard
1990-08-15 23:05 ` Michael Endrizzi 
1999-03-10  0:00 The future " Gordon Dodrill
1999-03-10  0:00 ` Al Christians
1999-03-10  0:00   ` dewar
1999-03-10  0:00 ` robert_dewar
1999-03-10  0:00 ` dennison
1999-03-10  0:00   ` Corey Ashford
1999-03-10  0:00 ` Larry Kilgallen
1999-03-10  0:00   ` dennison
1999-03-10  0:00 ` dewar
1999-03-10  0:00 ` Richard D Riehle
1999-03-10  0:00   ` Tom Moran
1999-03-11  0:00   ` Steve O'Neill
1999-03-11  0:00 ` Michael Garrett
1999-03-12  0:00   ` vershokv
1999-03-26  0:00   ` John McCabe
1999-03-26  0:00     ` Mike Silva
1999-03-27  0:00       ` west
1999-03-27  0:00         ` robert_dewar
1999-03-27  0:00         ` mjsilva
1999-03-27  0:00           ` west
1999-03-27  0:00             ` Chad R. Meiners
1999-03-27  0:00             ` mjsilva
1999-03-28  0:00             ` Aidan Skinner
1999-03-29  0:00               ` Steve Quinlan
1999-03-29  0:00                 ` robert_dewar
1999-03-30  0:00                   ` SpamSpamSpam
1999-03-30  0:00                     ` bourguet
1999-03-30  0:00                       ` SpamSpamSpam
1999-03-30  0:00                     ` robert_dewar
1999-03-30  0:00                       ` SpamSpamSpam
1999-03-30  0:00                         ` Stephen Thomas
1999-03-30  0:00                         ` dewar
1999-03-31  0:00                           ` SpamSpamSpam
1999-03-31  0:00                             ` robert_dewar
1999-04-02  0:00                           ` Robert I. Eachus
1999-03-30  0:00                     ` Matthew Heaney
1999-03-30  0:00                       ` Jerry van Dijk
1999-03-29  0:00                 ` Aidan Skinner
1999-03-30  0:00                   ` Ed Falis
1999-03-31  0:00           ` west
1999-04-01  0:00             ` Larry Kilgallen
1999-04-01  0:00             ` Steve Doiel
1999-04-02  0:00               ` dennison
1999-04-02  0:00                 ` Tom Moran
1999-04-02  0:00                   ` kewick
1999-04-02  0:00                     ` Tom Moran
1999-04-05  0:00                       ` Stephen Leake
1999-04-03  0:00                     ` Tom Moran
1999-03-27  0:00         ` John McCabe
1999-03-27  0:00           ` west
1999-03-28  0:00             ` John McCabe
1999-04-16  0:00               ` s.shering
1999-03-27  0:00           ` Larry Kilgallen
1999-03-28  0:00         ` Tom Moran
1999-03-28  0:00         ` Aidan Skinner
1999-03-27  0:00     ` Aidan Skinner
1999-03-28  0:00     ` David Botton
1999-03-11  0:00 ` Tucker Taft
1999-03-11  0:00   ` Tucker Taft
1999-03-11  0:00 ` Nick Roberts
1999-03-11  0:00   ` Larry Kilgallen
1999-03-11  0:00     ` Richard D Riehle
1999-03-11  0:00       ` Stanley R. Allen
1999-03-11  0:00         ` kirk
1999-03-12  0:00           ` Mike Silva
1999-03-12  0:00           ` Jerry Petrey
1999-03-12  0:00         ` Richard D Riehle
1999-03-12  0:00           ` Stanley R. Allen
1999-03-15  0:00         ` Marin David Condic
1999-03-12  0:00       ` Chris Morgan
1999-03-12  0:00         ` Richard D Riehle
1999-03-12  0:00           ` Chris Morgan
1999-03-12  0:00         ` steve
1999-03-12  0:00           ` Joseph P Vlietstra
1999-03-15  0:00             ` Mark D. McKinney
1999-03-13  0:00           ` Chris Morgan
1999-03-14  0:00           ` robert_dewar
1999-03-11  0:00     ` Scott Ingram
1999-03-11  0:00       ` Marin David Condic
1999-03-11  0:00         ` Scott Ingram
1999-03-12  0:00         ` Gunther Dragoski
1999-03-12  0:00           ` Chris Morgan
1999-03-12  0:00             ` Dino Gianisis
1999-03-13  0:00               ` Olivier Devuns
1999-03-12  0:00                 ` Chris Morgan
1999-03-11  0:00     ` Marin David Condic
1999-03-11  0:00       ` Mike Silva
1999-03-15  0:00         ` Marin David Condic
1999-03-21  0:00           ` Larry Kilgallen
1999-03-22  0:00             ` Marin David Condic
1999-03-22  0:00             ` Mike Silva
1999-03-22  0:00               ` Gisle S�lensminde
1999-03-23  0:00                 ` Marin David Condic
1999-03-23  0:00                   ` Chris Morgan
1999-03-23  0:00                 ` Marin David Condic
1999-03-26  0:00             ` R. Rabeau
1999-03-26  0:00               ` Mike Silva
1999-03-12  0:00     ` Steve Whalen
1999-03-12  0:00   ` Al Christians
1999-03-12  0:00 ` Andreas Winckler
1999-03-12  0:00 ` Gordon Dodrill
1999-03-12  0:00   ` robert_dewar
1999-03-12  0:00   ` Larry Kilgallen
1999-03-13  0:00   ` Nick Roberts
1999-03-15  0:00     ` Marin David Condic
1999-03-13  0:00   ` Corey Ashford
replies disabled

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