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=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fce663eaf40b52f6 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!newsfeed.stueberl.de!eusc.inter.net!cs.tu-berlin.de!uni-duisburg.de!not-for-mail From: Georg Bauhaus Newsgroups: comp.lang.ada Subject: Re: Manifesto against Vector Date: Fri, 7 May 2004 14:30:56 +0000 (UTC) Organization: GMUGHDU Message-ID: References: <7v9k901htdtm86kg9umqhptirt7vmjcr3m@4ax.com> NNTP-Posting-Host: l1-hrz.uni-duisburg.de X-Trace: a1-hrz.uni-duisburg.de 1083940256 26199 134.91.1.34 (7 May 2004 14:30:56 GMT) X-Complaints-To: usenet@news.uni-duisburg.de NNTP-Posting-Date: Fri, 7 May 2004 14:30:56 +0000 (UTC) User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00 (9000/800)) Xref: controlnews3.google.com comp.lang.ada:367 Date: 2004-05-07T14:30:56+00:00 List-Id: Dmitry A. Kazakov wrote: :>And if there is redundancy :>in explicitness, this does help analysing, understanding, and :>debugging programs, doesn't it? : : Not at all. In most cases it is just an importunate noise. : :>In particular if the program text :>is not correct. : : How could that help, keeping in mind, that use-haters are pushing for : using full names everywhere? Does the 3k lines body of package X depend on Foo.Bar, or is there an occurence of the string Foo.Bar somewhere in the body of package X? If this argument were taken to Eiffel, would you want the compiler to figure out what the inheritance relations for the class in question is, by having it analyse the class and its closure? That is instead of specifying what the inheritance hierarchy (and thus package dependeces) is? -- Georg