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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.mixmin.net!aioe.org!not-for-mail From: =?iso-8859-15?Q?Hibou57_=28Yannick_Duch=EAne=29?= Newsgroups: comp.lang.ada Subject: Re: Initialization and Finalization of limited object "returned" by a function Date: Sat, 13 Feb 2010 20:34:53 +0100 Organization: At Home Message-ID: References: <41b794ec-26b0-485e-a959-580a5b877a3b@f15g2000yqe.googlegroups.com> <8e09c20d-172e-42a2-b2ff-994863893523@h12g2000yql.googlegroups.com> <9c2b5c56-7abf-4523-844d-b48447587402@w27g2000pre.googlegroups.com> NNTP-Posting-Host: Hf1h0Zy4x3U6eJBIgF+soA.user.speranza.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15; format=flowed; delsp=yes Content-Transfer-Encoding: Quoted-Printable X-Complaints-To: abuse@aioe.org X-Notice: Filtered by postfilter v. 0.8.2 User-Agent: Opera Mail/10.10 (Win32) Xref: g2news1.google.com comp.lang.ada:9201 Date: 2010-02-13T20:34:53+01:00 List-Id: Le Sat, 13 Feb 2010 16:59:44 +0100, Robert A Duff = a =E9crit: >> What's the new Professor Sir Tucker Taft's project ? > > The ARG is inventing some syntactic sugar to make user-defined > container code easier to read, and Tucker is doing most of > the work on that. One example is that there will probably be some > mechanism to say: > > A(X) :=3D A(X) + 1; > > where A is (say) a hash table mapping strings to integers, > and X is a string. User-defined array-indexing notation. > > Also, some new kinds of for loops. For example, looping > through the components of an array without any > horsing around with index values: > > for C : Character of My_String loop > Do_Something(C); > end loop; > > The ": Character" above is optional, according to the latest proposal.= That's high-level language capability. So that's to be added with the other project I've heard about here at = comp.lang.ada, about first-class-functions (it was during the thread abo= ut = making constant declarations overloadable if my mind is right) and the = pre-post-condition discussed here and on fr.c.l.a. As Santa Claus seems to be actually checking orders, do you know if ther= e = will be something like co-routines ? We already have tasks, but tasks ar= e = a bit too much heavy as co-routines. I was to open a thread to investiga= te = this topic two weeks ago (I finally did not start it). I'm thinking abou= t = it, beside another topic about unknown discriminants. -- = No-no, this isn't an oops ...or I hope (TM) - Don't blame me... I'm just= = not lucky