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=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.Ry1GfOCil8z4iThfpbQjlA.user.gioia.aioe.org!not-for-mail
From: "Nasser M. Abbasi" <nma@12000.org>
Newsgroups: comp.lang.ada
Subject: Re: Implicit actions & program correctness
Date: Fri, 15 May 2020 13:27:09 -0500
Organization: Aioe.org NNTP Server
Message-ID: <r9mmtq$1bkk$1@gioia.aioe.org>
References: <d4cc5c66-b82a-4ef7-8e69-2fa9b7bd99a6@googlegroups.com>
Reply-To: nma@12000.org
NNTP-Posting-Host: Ry1GfOCil8z4iThfpbQjlA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
 Thunderbird/68.7.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:58695
Date: 2020-05-15T13:27:09-05:00
List-Id: <comp.lang.ada>

On 5/15/2020 12:45 PM, deadhacker wrote:
lar practices?  Have you been able to talk people into ending them?
> 
> I guess another way to look at what I'm wondering is: In books about software engineering with Ada, I see lots of talk about correctness especially by moving bug detection to the compile phase.  How often can that actually be done?


This is because in Ada, since it is strongly typed language, the
compiler can find more bugs at compile time, (for example,
when adding apples to oranges) which in other languages might not be
found at compile time, or it might needs the right
set of compiler switches (if they exist) added to find these bugs.

It means in Ada one spends more time getting the program to correctly
compile with no errors.

But it also means there is less chance of run-time errors.

In other languages, one spends much less time getting the program
to compile and more time trying to find the bugs that show up
when the program runs.

--Nasser