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,1e3f2eac5c026e3 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-12-26 19:39:43 PST Path: archiver1.google.com!news2.google.com!fu-berlin.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail From: Georg Bauhaus Newsgroups: comp.lang.ada Subject: Re: Other Ada Standards (was Re: SIGada Conference) Date: Sat, 27 Dec 2003 03:39:42 +0000 (UTC) Organization: GMUGHDU Message-ID: References: <468D78E4EE5C6A4093A4C00F29DF513D04B82B08@VS2.hdi.tvcabo> <3FE991DD.5060301@noplace.com> <3FEA5C82.8050309@noplace.com> <3FEB047A.1040100@noplace.com> NNTP-Posting-Host: l1-hrz.uni-duisburg.de X-Trace: a1-hrz.uni-duisburg.de 1072496382 1789 134.91.1.34 (27 Dec 2003 03:39:42 GMT) X-Complaints-To: usenet@news.uni-duisburg.de NNTP-Posting-Date: Sat, 27 Dec 2003 03:39:42 +0000 (UTC) User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00 (9000/800)) Xref: archiver1.google.com comp.lang.ada:3836 Date: 2003-12-27T03:39:42+00:00 List-Id: Russ <18k11tm001@sneakemail.com> wrote: : Marin David Condic wrote in message news:<3FEB047A.1040100@noplace.com>... :> I don't know how difficult it would be in reality - to some extent that :> may be compiler-dependent. The point is, the cost isn't "Zero", the :> problem it purports to fix doesn't look like a problem - or at least a :> trivial problem and given the limited resources there are available for :> standards changes, we'd be better off dedicating those resources to some :> effort that is more significant. Yes. Good data structure libraries for example :-) I'd rather read "with This.That;" and only go back to reading "use This.That;" when I cannot resolve some identifier. "with and use" is just in the way then. Think of context clauses compared to a table of contents or an index in a book. Will "with and use" really help guiding your eyes in finding the interesting units of information if you have to read the following? mmmm A.Nice.Lib; mmmm mmm mmm Another.Kind; mmmm Tremendous; mmmm Yet.Another.One; mmmm mmm mmm Zebras.Tedious; As opposed to for example mmmm A.Nice.Lib; mmmm Another.Kind; mmm Another.Kind; mmmm Tremendous; mmmm Yet.Another.One; mmmm Zebras.Tedious; mmm Zebras.Tedious; Incidentally, with short package names there are no character savings in the "with and use" case, because "and " may well need more characters than the repeated package names plus ';' and ' '. :> Georg Bauhaus wrote: :> > :> > I don't think, after reading what Robert Duff, Robert Eachus, and :> > Marin Condic have written, that we can say this is small/tiny, :> > that is big. On what basis? Because something _looks_ tiny to us :> > non-compiler writers? : For crying out loud, I could do it myself in 30 minutes, : and that includes 10 minutes to think about it and another 10 minutes : to test it! At least for the "implies" case, I couldn't even list the pieces of the language definition that will have to be taken into consideration. Congratulations :-) How about overloading, generics, use in bodies, private library units, use inside subprograms, etc etc... Or do you suggest that the number of rules in the language be increased for special cases in order to cater for *less verbosity* in in Ada? For the "with and use" case, what is your interpretation of "with and use A.B;" Is it "with A.B; use A.B;" or is it "with A; use A.B;"? Which interpretation is to be chosen? (And You seem to have access to a fast machine when it translates a compiler and runs all tests within 10 minutes, in all required configurations. Provided the tests have been written within the 30 minutes allocated for the implementation of the language change. :-) : Whatever option you ultimately choose, please do yourselves a favor : and get rid of the double naming that clutters so many Ada source : files. Could you give an account in percent of what, in your experience, adds the most clutter? Like for example 1) spaghetti module design, implying a large number of context items 2) unfavourable formatting of context items 3) double naming 4) ... : When you pass Bob, do you say, "Hi, Bob. How are you, Bob?" or : do you say, "Hi, how are you, Bob?". I don't think that this natural language greeting is a valid analogy for a formal language "need specification". The phrase "with Bob;" is different in meaning from "use Bob;" in Ada. But the two occurences of "Bob" in the above greeting do not appear in different (natural language) context, assuming that both "Hi" and "How are you" provide conventional forms/parts of greeting. (Even if "How are you" is a question where "Hi" rarely is.) They both share rituality, and besides they do not say anything about the visibility of Bob's features at all. So what's the point? Ada is not a natural language, with and use have different uses in Ada than in English, AFAICT. -- Georg