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-Thread: 103376,43f6bd9b498b66d0 X-Google-Attributes: gid103376,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: default formal parameters in generic declarations Date: Mon, 3 Mar 2008 21:43:12 -0600 Organization: Jacob's private Usenet server Message-ID: References: <9b3bac4d-5ae1-4a1b-a81e-9aa9ae1843e0@e31g2000hse.googlegroups.com> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: jacob-sparre.dk 1204602271 16146 69.95.181.76 (4 Mar 2008 03:44:31 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Tue, 4 Mar 2008 03:44:31 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1914 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1914 Xref: g2news1.google.com comp.lang.ada:20175 Date: 2008-03-03T21:43:12-06:00 List-Id: "Eric Hughes" wrote in message news:a520f018-097c-406b-a3e3-387a28d38216@s8g2000prg.googlegroups.com... > Eric Hughes writes: > > Formal > > objects and subprograms can have default values. Formal types and > > packages cannot. Could someone point me to the discussion where this > > inconsistency was decided to be a good thing? > > On Mar 2, 10:42 am, Robert A Duff > wrote: > > It is not a good thing. > > The absence of this expression is not a good thing, but my question > was more about the tradeoffs, not in the language itself, but in the > whole context of the creation of the language. Was it considered too > late to be understood? Were there too many prerequisites? Was not a > high enough priority? _On balance_ it must have been a good thing, > because it didn't happen. I am assuming it was considered. It surely was considered for the most recent language update, because I proposed it. See AI-299. I thought it would give up more flexibility for defining a set of containers libraries. It was not approved mainly because of two reasons: the proposed syntax wasn't liked much, but no one had a better idea; and because it came up at a meeting which many people consider the low point of the Ada development -- it was mostly a lot of dubious arguments over one feature or another, and about the only things that got accomplished was by killing proposals. (I seriously considered quitting after that meeting.) Presumably, at least some people didn't think it was important enough. The net effect is that IMHO there is no *good* reason that Ada doesn't have such defaults (now); they just got swept up in a tide of negativity. As for the question of why they were omitted in the first place, I can't say (I wasn't there). I would suspect that their value wasn't completely understood at the time; I don't recall having encountered default parameters of any kind before seeing Ada. Randy Brukardt, ARG Editor