From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Why .ads as well as .adb?
Date: Wed, 5 Jun 2019 17:57:59 -0500
Organization: JSA Research & Innovation
Message-ID: <qd9hdn$6m7$1@franka.jacob-sparre.dk>
References: <28facad3-c55f-4ef2-8ef8-004925b7d1f1@googlegroups.com>
 <qcvqut$ejh$1@gioia.aioe.org>
 <dbbcf7b1-091f-4c87-b2b1-021bb9503b70@googlegroups.com>
 <qd2krk$pin$1@gioia.aioe.org>
 <f37f6f75-62d4-4152-917e-d666d67f6cb7@googlegroups.com>
 <qd5du6$187s$1@gioia.aioe.org>
 <89abdd73-28ff-46ec-b77e-b8324d496d9c@googlegroups.com>
 <qd8dmm$qn9$1@gioia.aioe.org> <qd8t62$8jp$1@dont-email.me>
 <40d52c56-4eb4-4d99-a986-1b6ea159b113@googlegroups.com>
Injection-Date: Wed, 5 Jun 2019 22:58:00 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="6855"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader01.eternal-september.org comp.lang.ada:56492
Date: 2019-06-05T17:57:59-05:00
List-Id: <comp.lang.ada>

"Optikos" writes:
...
>Ada standardization efforts (and even SPARK's ability to model pointers)
>are awesome advances, but to be honest they are awesome achievements
>because the bar throughout the industry is set so low:  in the land of the
>blind, the one-eyed man can easily rise to be the king.  Think 
>exponentially,
>not incrementally.

This is a good point. Part of the reason that Ada isn't used more is because 
while it is better than other choices, it is not that much better. Inertia 
is an important part of life. Indeed, I don't upgrade/replace much desktop 
software anymore since it is more of hinderance to work (because of things 
changed/removed) than a benefit (new features that I'm unlikely to use). [My 
primary programming editor was last updated in 1986!] That's certainly the 
case for practitioners in other languages as well.

If one really wants to make a splash, one would have to come up with 
something much better. Personally, I don't think that is possible for a 
conventional programming language - at some point, text itself becomes the 
limitation. (But I don't have a clue what that next step should be, 
graphical systems have mostly failed, both for expressivity and usability. 
Probably not programming at all is the next step, which renders all of us 
irrelevant.)

                                          Randy.