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=-0.4 required=5.0 tests=AC_FROM_MANY_DOTS,BAYES_00 autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,89cb2d7ffc7421c9,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns14feed!worldnet.att.net!attbi_s22.POSTED!53ab2750!not-for-mail From: "Jeffrey R. Carter" Organization: jrcarter at acm dot org User-Agent: Thunderbird 1.5.0.5 (Windows/20060719) MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Ripple effect Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 12.201.97.176 X-Complaints-To: abuse@mchsi.com X-Trace: attbi_s22 1156372189 12.201.97.176 (Wed, 23 Aug 2006 22:29:49 GMT) NNTP-Posting-Date: Wed, 23 Aug 2006 22:29:49 GMT Date: Wed, 23 Aug 2006 22:29:49 GMT Xref: g2news2.google.com comp.lang.ada:6327 Date: 2006-08-23T22:29:49+00:00 List-Id: On the Ada-Comment mailing list recently, Robert Duff shared some ideas on language design for a language he is thinking about (which may be called Nada, but is definitely not called Duff). In this language, there is no equivalent of the Ada "use" and primitive operators ("+", "-") of a type are directly visible wherever the type is used. I recall that during the Ada-9X revision process, it was proposed that primitive operators of a type have this kind of visibility. IIRC, one of the reasons that this was not accepted was that it would lead to Ripple effects: adding or removing a unit from a context clause could change one legal program to a different legal program. If Herr Doktor Professor Duff is interested, I'd like to hear his thoughts on the matter, and how Nada (or whatever) deals with this. -- Jeff Carter "Brave Sir Robin ran away." Monty Python and the Holy Grail 59