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!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Why .ads as well as .adb?
Date: Tue, 11 Jun 2019 17:49:24 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <qdoii6$cmq$1@dont-email.me>
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>
 <qd6rb8$hl7$1@franka.jacob-sparre.dk>
 <a902e41a-729d-4c00-8e3f-0cda1822a349@googlegroups.com>
 <qd81gq$aej$1@dont-email.me> <87woi0xtwm.fsf@nightsong.com>
 <glpiqeFt9jqU1@mid.individual.net>
 <f611bdb8-5a40-48bd-afe5-17de72bbe193@googlegroups.com>
 <glq1rpF1v52U1@mid.individual.net>
 <4a0438de-1f1d-4469-aae4-908854d378ea@googlegroups.com>
 <qdbvth$3db$1@franka.jacob-sparre.dk>
 <47d02bdc-6b50-43aa-bc5d-bb5b6225f5bd@googlegroups.com>
 <qdff8m$6ig$1@franka.jacob-sparre.dk>
 <bab5af5d-a3d7-412d-b3c9-1e573e2dd467@googlegroups.com>
 <qdmkbb$jpt$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 11 Jun 2019 15:49:26 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="f7b18f2ba2cbd37e9f02ead04960c5b5";
	logging-data="13018"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18vYbj+UDbLVAdXzm5rBox1+XXwYoPPFGo="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.7.0
Cancel-Lock: sha1:l0BoeaaOIMKQQkgI/oSaBH9+MxA=
In-Reply-To: <qdmkbb$jpt$1@franka.jacob-sparre.dk>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:56612
Date: 2019-06-11T17:49:24+02:00
List-Id: <comp.lang.ada>

On 6/11/19 12:07 AM, Randy Brukardt wrote:
> 
> So far as I can tell, no other language has really tried to
> "get software engineering right".

Precisely. It's important to remember that separation of spec and body have been 
part of Ada from the beginning, and Ada was designed to support the way S/W 
engineers think and work from the beginning. Like many Ada features, S/W 
engineers understand and like separation of spec and body, and coders don't. For 
me, much of this thread can be viewed simply as people saying "I'm a S/W 
engineer" or "I'm a coder".

-- 
Jeff Carter
"They name the boy Jonathan Ralph Starkwell,
after Virgil's mother."
Take the Money and Run
141