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=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:a49:: with SMTP id 70-v6mr1510636itw.18.1526042793166;
        Fri, 11 May 2018 05:46:33 -0700 (PDT)
X-Received: by 2002:a9d:4509:: with SMTP id w9-v6mr260933ote.10.1526042793023;
 Fri, 11 May 2018 05:46:33 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.linkpendium.com!news.linkpendium.com!news.snarked.org!border2.nntp.dca1.giganews.com!nntp.giganews.com!u74-v6no456858itb.0!news-out.google.com!f20-v6ni418itd.0!nntp.google.com!u74-v6no456856itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 11 May 2018 05:46:32 -0700 (PDT)
In-Reply-To: <87tvrfyvha.fsf@nightsong.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5;
 posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS
NNTP-Posting-Host: 2a02:c7d:3c35:b000:325a:3aff:fe0f:37a5
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
 <pcg54t$gul$1@franka.jacob-sparre.dk> <87zi1gz3kl.fsf@nightsong.com>
 <pciqcd$ou1$1@franka.jacob-sparre.dk> <878t8x7k1j.fsf@nightsong.com>
 <fl7t0uF410rU1@mid.individual.net> <pcmjao$1soj$1@gioia.aioe.org>
 <fl8lgcF9dqgU1@mid.individual.net> <pcnem2$19mn$1@gioia.aioe.org>
 <fl938cFchk8U1@mid.individual.net> <pcnqgm$1tb4$1@gioia.aioe.org>
 <87k1sg2qux.fsf@nightsong.com> <pcov1b$1cvt$1@gioia.aioe.org>
 <87h8njmk4r.fsf@nightsong.com> <pcq81a$1n85$1@gioia.aioe.org>
 <87po27fbv9.fsf@nightsong.com> <pcrjv1$1jsj$1@gioia.aioe.org>
 <87h8nhwhef.fsf@nightsong.com> <pcub99$13f$1@gioia.aioe.org>
 <87d0y4zf7d.fsf@nightsong.com> <pd2fas$u2f$1@franka.jacob-sparre.dk>
 <87tvrfyvha.fsf@nightsong.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5dd41726-9f61-4eef-b872-f87bcf6c84ae@googlegroups.com>
Subject: Re: How to get Ada to ?cross the chasm??
From: Lucretia <laguest9000@googlemail.com>
Injection-Date: Fri, 11 May 2018 12:46:33 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:52268
Date: 2018-05-11T05:46:32-07:00
List-Id: <comp.lang.ada>

On Thursday, 10 May 2018 23:52:18 UTC+1, Paul Rubin  wrote:
> "Randy Brukardt" <randy@ com> writes:
> > No wonder you don't understand: Ada 95 had none of the container stuff or 
> > other features that reduces the memory management burden without using GC. 
> > At a minimum, you need to consider Ada 2005, but the most recent Ada is 
> > best.
> 
> Ah, ok, I was also going by
> 
>   http://cowlark.com/2014-04-27-ada/index.html

I wouldn't, that uses some weird syntax, it's like he's a C programmer doing Ada.

> which claims Ada has no standardized way to release allocated memory (so
> each implementation had its own way).  If you can suggest a good place
> to read about the current standard method I'd appreciate it.

Bullshit.

http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-13-11-2.html
 
> To be fair, the Pascal-like subset I looked into first was SPARK (I read
> John Barnes' book about it) since SPARK was the aspect of Ada that at
> first interested me the most.  I'd be interested to know how the Ada
> 2012 containers differ from C++ STL containers.  As mentioned elsewhere
> I believe that the same guy (Alex Stepanov) had a hand in the design of
> both.

Your previous post about him says he worked on *a* container library for Ada83 (it was in 1989) and he even says he never touched Ada much since then. So, no, he didn't have a hand in the current implementation.

I think it was Matthew Heaney who provided them, https://groups.google.com/forum/#!topic/comp.lang.ada/luv71Ex0CDc to the ARG for standardising, IIRC.

Luke.