From: Simon Clubley <clubley@remove_me.eisner.decus.org-Earth.UFP>
Subject: Re: Why are Ada compilers difficult to write ?
Date: Mon, 25 Jun 2018 06:04:42 -0000 (UTC)
Date: 2018-06-25T06:04:42+00:00 [thread overview]
Message-ID: <pgq0lq$nms$3@dont-email.me> (raw)
In-Reply-To: 874lhsnvye.fsf@adaheads.home
On 2018-06-24, Jacob Sparre Andersen <jacob@jacob-sparre.dk> wrote:
> "Dan'l Miller" <optikos@verizon.net> writes:
>> On Saturday, June 23, 2018 at 12:56:43 AM UTC-5, J-P. Rosen wrote:
>
>>> Well, it is an attempt at making pointers safer, and this is
>>> inherently difficult. Other languages didn't even try...
>>
>> Except Rust nowadays, and hopefully Ada2020 will catch up
>
> The problem with Rust is that the language isn't well specified (a
> "reference implementation" doesn't count as a specification).
>
Especially when that reference implementation keeps changing...
> At Ada-Europe 2018, Maroua Maalej presented a paper with the title "Safe
> Dynamic Memory Management in Ada and SPARK". It explains how you can
> implement borrowing access types in Ada quite trivially (I had figured
> out the basics myself beforehand). The challenge is that borrowing
> access types are behaviorally incompatible with existing Ada access
> types, so you have to select the behaviour per access type. - And this
> still doesn't solve all the problems related to anonymous access types
> (i.e. "the heart of darkness").
>
Are anonymous access types a mistake ?
Removing them increases the level of required formality in code but
you can argue either way whether this is a bad thing or not.
Simon.
--
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
Microsoft: Bringing you 1980s technology to a 21st century world
next prev parent reply other threads:[~2018-06-25 6:04 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-19 21:33 Why are Ada compilers difficult to write ? Vincent
2018-06-19 21:43 ` Paul Rubin
2018-06-19 22:11 ` Lucretia
2018-06-24 17:33 ` Paul Rubin
2018-06-24 17:39 ` Lucretia
2018-06-19 22:01 ` Jacob Sparre Andersen
2018-06-19 22:18 ` Lucretia
2018-06-21 14:02 ` Jacob Sparre Andersen
2018-06-21 17:20 ` Lucretia
2018-06-19 22:17 ` Lucretia
2018-06-19 22:34 ` Dan'l Miller
2018-06-22 13:01 ` Alejandro R. Mosteo
2018-06-20 8:33 ` gautier_niouzes
2018-06-20 15:54 ` Jeffrey R. Carter
2018-06-20 17:54 ` Dan'l Miller
2018-06-20 18:18 ` Dan'l Miller
2018-06-20 18:58 ` Luke A. Guest
2018-06-20 19:37 ` Dan'l Miller
2018-06-20 19:39 ` Dan'l Miller
2018-06-20 19:50 ` Dan'l Miller
2018-06-20 21:26 ` Luke A. Guest
2018-06-27 14:19 ` Olivier Henley
2018-06-27 15:34 ` Dan'l Miller
2018-06-27 16:26 ` Olivier Henley
2018-06-27 16:50 ` Dan'l Miller
2018-06-27 17:53 ` Olivier Henley
2018-06-27 18:49 ` Dan'l Miller
2018-06-28 11:54 ` Mehdi Saada
2018-06-29 3:34 ` Paul Rubin
2018-06-29 16:36 ` G. B.
2018-06-29 17:02 ` Dan'l Miller
2018-06-21 10:44 ` Marius Amado-Alves
2018-06-21 12:45 ` Dan'l Miller
2018-06-21 21:08 ` Paul Rubin
2018-06-21 21:42 ` Dan'l Miller
2018-06-21 22:01 ` Simon Wright
2018-06-21 23:04 ` Dan'l Miller
2018-06-22 0:20 ` Dan'l Miller
2018-06-22 3:41 ` Paul Rubin
2018-06-29 21:19 ` Randy Brukardt
2018-06-22 3:44 ` Paul Rubin
2018-06-22 21:57 ` Dan'l Miller
2018-06-22 23:15 ` Luke A. Guest
2018-06-23 1:03 ` Dan'l Miller
2018-06-23 1:49 ` Luke A. Guest
2018-06-23 2:54 ` Dan'l Miller
2018-06-23 14:48 ` Dennis Lee Bieber
2018-06-23 14:41 ` Dennis Lee Bieber
2018-06-25 5:55 ` Simon Clubley
2018-06-29 21:22 ` Randy Brukardt
2018-06-22 3:31 ` Paul Rubin
2018-06-22 16:44 ` antispam
2018-06-22 13:11 ` Lucretia
2018-06-22 17:10 ` Simon Clubley
2018-06-22 18:00 ` Lucretia
2018-06-25 5:48 ` Simon Clubley
2018-06-25 8:46 ` Alejandro R. Mosteo
2018-06-25 13:23 ` Lucretia
2018-06-25 17:24 ` Simon Clubley
2018-06-25 14:59 ` Dan'l Miller
2018-06-25 17:32 ` Simon Clubley
2018-06-29 21:26 ` Randy Brukardt
2018-06-23 5:56 ` J-P. Rosen
2018-06-23 12:44 ` Dan'l Miller
2018-06-23 16:14 ` Shark8
2018-06-23 18:12 ` Dan'l Miller
2018-06-23 18:47 ` Shark8
2018-06-23 19:35 ` Simon Wright
2018-06-25 8:51 ` Alejandro R. Mosteo
2018-06-24 13:41 ` Jacob Sparre Andersen
2018-06-25 6:04 ` Simon Clubley [this message]
2018-06-25 6:31 ` Jacob Sparre Andersen
2018-06-25 13:27 ` Lucretia
2018-06-25 20:07 ` Dirk Craeynest
2018-06-28 12:08 ` Vincent
2018-06-28 12:21 ` Simon Wright
2018-06-28 12:24 ` Luke A. Guest
2018-06-28 12:41 ` Dan'l Miller
2018-06-28 14:43 ` J-P. Rosen
2018-06-28 18:26 ` Dmitry A. Kazakov
2018-06-29 21:35 ` Randy Brukardt
2018-06-29 21:29 ` Randy Brukardt
2018-06-21 17:42 ` Pascal Obry
2018-06-21 20:18 ` Dan'l Miller
2018-06-22 5:01 ` J-P. Rosen
2018-06-22 7:16 ` Dmitry A. Kazakov
2018-06-22 11:46 ` Dan'l Miller
2018-06-22 12:11 ` Dmitry A. Kazakov
2018-06-22 12:35 ` Dan'l Miller
2018-06-22 15:55 ` Dmitry A. Kazakov
2018-06-29 21:43 ` Randy Brukardt
2018-06-25 15:33 ` Dan'l Miller
2018-10-01 18:09 ` Tucker Taft
2018-10-01 18:51 ` Lucretia
2018-10-02 12:58 ` Alejandro R. Mosteo
2018-10-02 14:23 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox