From: John Perry <john.perry@usm.edu>
Subject: Re: meaningfully/compellingly "advertising" Ada on StackOverflow
Date: Fri, 18 May 2018 08:39:12 -0700 (PDT)
Date: 2018-05-18T08:39:12-07:00 [thread overview]
Message-ID: <9620309c-8abc-4ff2-b631-73bbc72ee5d4@googlegroups.com> (raw)
In-Reply-To: <877eo1shlv.fsf@nightsong.com>
On Thursday, May 17, 2018 at 11:38:53 PM UTC-5, Paul Rubin wrote:
> John Perry <john.perry@usm.edu> writes:
> > I'm curious: did my implementation circumvent safety features?
>
> Were there any unchecked array accesses or anything like that? If not,
> that's a big help.
No arrays at all; it's just linked lists. It's dangerous inasmuch as pointers are dangerous, but I know from experience that Ada has certain rules to prevent pointer dangling.
next prev parent reply other threads:[~2018-05-18 15:39 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-16 14:27 meaningfully/compellingly “advertising” Ada on StackOverflow Dan'l Miller
2018-05-16 14:35 ` Lucretia
2018-05-16 15:06 ` Dan'l Miller
2018-05-16 22:48 ` Mehdi Saada
2018-05-17 2:46 ` John Perry
2018-05-17 2:49 ` John Perry
2018-05-17 21:25 ` meaningfully/compellingly "advertising" " Randy Brukardt
2018-05-17 23:27 ` Luke A. Guest
2018-05-18 1:22 ` Paul Rubin
2018-05-18 2:28 ` Dan'l Miller
2018-05-18 2:59 ` Lucretia
2018-05-18 2:57 ` Lucretia
2018-05-18 4:25 ` John Perry
2018-05-18 4:38 ` Paul Rubin
2018-05-18 15:39 ` John Perry [this message]
2018-05-18 15:48 ` John Perry
2018-05-18 20:49 ` Randy Brukardt
2018-05-18 20:47 ` Randy Brukardt
2018-05-18 4:37 ` Paul Rubin
2018-05-18 10:44 ` Lucretia
2018-05-20 7:54 ` Paul Rubin
2018-05-18 11:17 ` Ben Bacarisse
2018-05-18 20:42 ` Randy Brukardt
2018-05-18 4:22 ` John Perry
2018-05-18 20:52 ` Randy Brukardt
2018-05-18 11:10 ` Simon Wright
2018-05-18 15:43 ` meaningfully/compellingly “advertising” " John Perry
2018-05-18 16:40 ` Dan'l Miller
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox