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: Implicit actions & program correctness
Date: Fri, 15 May 2020 21:03:37 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <r9mp29$6nd$1@dont-email.me>
References: <d4cc5c66-b82a-4ef7-8e69-2fa9b7bd99a6@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 15 May 2020 19:03:37 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="cdb89eb4f408c5dc818b42c26c569217";
	logging-data="6893"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19uz1ziDlbjOIAKkpVAULL1QibFbT25xxc="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.7.0
Cancel-Lock: sha1:2ixOEhpQQYhVQP8ILs4zDo7APeg=
In-Reply-To: <d4cc5c66-b82a-4ef7-8e69-2fa9b7bd99a6@googlegroups.com>
Content-Language: en-US
Xref: reader01.eternal-september.org comp.lang.ada:58697
Date: 2020-05-15T21:03:37+02:00
List-Id: <comp.lang.ada>

On 5/15/20 7:45 PM, deadhacker wrote:
> 
> It makes me wonder what experienced Ada programmers think of work done implicitly by a program.  Have you run into similar practices?  Have you been able to talk people into ending them?

I'm not clear what you mean by "implicit actions". In Ada, a lot can be done 
automatically by the process called "elaboration". This is generally considered 
a good thing. It's not uncommon for everything in significant programs to be 
done by elaboration.

On the other hand, elaboration doesn't doe anything that isn't explicitly in the 
code, so maybe it isn't what you're thinking about.

On the gripping hand, things like user-defined assignment and indexing and pre- 
and post-condition testing might be considered implicit actions.

-- 
Jeff Carter
"Who wears beige to a bank robbery?"
Take the Money and Run
144