From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Why are Ada compilers difficult to write ?
Date: Thu, 28 Jun 2018 20:26:29 +0200
Date: 2018-06-28T20:26:29+02:00 [thread overview]
Message-ID: <ph398n$adj$1@gioia.aioe.org> (raw)
In-Reply-To: ph2s5j$1hog$1@gioia.aioe.org
On 2018-06-28 16:43, J-P. Rosen wrote:
> Le 28/06/2018 à 14:08, Vincent a écrit :
>> 1. The "Owning Object Aspect" changes the semantics of Access types in Ada.
> Yes. This would be a different kind of pointer, safer but less powerful.
> For example, it would not be possible to write a circular list with
> them. So it is not intended to replace current access types, it would be
> something different.
I used this strategy in my implementation of linked lists, e.g. when an
element is inserted into a list then the original access type is set to
null.
I don't think this is a universal enough approach to deserve a special
class of types. Then, I don't know SPARK good enough, but I wonder why
it is not possible to simply contract subprograms like list insert to
leave a single access (maybe single circular access) to each list
element? It does not look difficult to prove.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-06-28 18:26 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
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 [this message]
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