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!reader02.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: G. B. <nonlegitur@nmhp.invalid>
Newsgroups: comp.lang.ada
Subject: Re: some trivial questions?
Date: Mon, 6 Nov 2017 19:33:54 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <otqdf2$1v5$1@dont-email.me>
References: <6a5368c5-f015-4dcb-9291-e77b40fa1bf1@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 6 Nov 2017 19:33:54 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="3eecc97ddbd5690e6f09e45ca5f7d00e";
	logging-data="2021"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+llDcyfYmGFEWKNWv6ANfap2TV6tWZd8Q="
User-Agent: NewsTap/5.2.6 (iPhone/iPod Touch)
Cancel-Lock: sha1:MYvL1Eqy5ClnsyTE3FrvnR9iSnU=
	sha1:KRhPiwpJ4s3N5NG04MVIvDbJ9ms=
Xref: news.eternal-september.org comp.lang.ada:48740
Date: 2017-11-06T19:33:54+00:00
List-Id: <comp.lang.ada>

<tclwarrior@gmail.com> wrote:
> Why in ada, there is a separation between functions and procedures?
> Is there any real value in this? 
> 
> Also why does is Use imply With? 
> For example why do i have to say:
> 
> with Ada.Text_IO;
> use Ada.Text_IO;
> 

Imagine you were to list the set of implicitly with-ed
units, and “use“ has been used locally (as it should 
IMHO), *and* the software configuration is broken,
so that the compiler cannot analyse the text anymore.

Then, the presence of both “with” and “use” in the
language renders putting a mention of dependences
a valuable extra.