Re: Manifesto against Vector

["Warren W. Gay VE3WWG" <warren@ve3wwg.tk>]

Dmitry A. Kazakov wrote:
> On Thu, 6 May 2004 09:03:54 +0200, "Jean-Pierre Rosen"
> <rosen@adalog.fr> wrote:
>>Since you asked for it... (but I'll try to have reasonable objections).
>>Note that I am known for being strongly *in favor* of the use clause.
>>
>>I would strongly oppose this proposal for a very simple reason: it defeats the main goal of having separated with from use.
>>With is a library level clause; it tells: "this unit, somewhere needs that unit".
> 
> Why that should be told? I'd say that "with" is superfluous.

Not really, for two reasons:

1. Readability
2. The use of USE is not manditory (and arguably should
    be used with care)

Since WITH can only be used at the start of the source
code, it becomes a very big plus in _readability_. With a quick
inspection of a spec/body, you can be certain of the references
(or not) to other units.

USE on the other hand, may appear in numerous other places, or
not at all. For example, I may WITH Ada.Text_IO, and never USE
it. I may just code Ada.Text_IO.Put_Line etc.

While one might be tempted to suggest that WITH references may be
deduced from USE clauses, this is not always true. This is
because USE clauses may not be used at all.
-- 
Warren W. Gay VE3WWG
http://ve3wwg.tk