From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: GNAT for MS Visual Studio
Date: Tue, 9 Oct 2007 10:32:09 +0200
Date: 2007-10-09T10:26:09+02:00 [thread overview]
Message-ID: <kr50ppyqjkqk.1iwgdvmih07i4.dlg@40tude.net> (raw)
In-Reply-To: 1191876057.894364.122680@22g2000hsm.googlegroups.com
On Mon, 08 Oct 2007 13:40:57 -0700, Maciej Sobczak wrote:
> We cannot say "I only read this container" and expect anything based
> on AARM, because there is nothing in AARM that would give any meaning
> to this "reading".
Well, I agree that "reading" need to be clarified, but as I said before,
IMO the problem is deeper. First we need to define pure subprograms and
sharable objects. Then we would be able to say, for example, that reading
an Integer is safe because in-instances are sharable and all methods of are
pure. Then we could proceed to aggregation types and their operations. Only
after that we could say that reading an Integer component of a record type
is safe. A read-safe container type could be specified in the same way.
> Calling a subprogram is not "reading".
Right, the reverse is true: "reading" is calling a [maybe built-in]
subprogram "Read."
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2007-10-09 8:32 UTC|newest]
Thread overview: 103+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-09-06 2:20 GNAT for MS Visual Studio William J Thomas
2007-09-06 7:44 ` anon
2007-09-06 8:49 ` Rob Veenker
2007-09-06 11:12 ` William J Thomas
2007-09-11 3:15 ` Jeffrey Creem
2007-09-20 0:00 ` William J Thomas
2007-09-21 0:46 ` Randy Brukardt
2007-09-21 3:27 ` William J Thomas
2007-09-21 17:31 ` Markus E L
2007-09-21 18:13 ` Dmitry A. Kazakov
2007-09-22 1:42 ` Randy Brukardt
2007-09-22 1:59 ` Randy Brukardt
2007-09-22 5:19 ` Simon Wright
2007-09-22 14:42 ` Steve
2007-09-24 8:14 ` Jean-Pierre Rosen
2007-09-25 1:44 ` Steve
2007-09-25 6:41 ` Jean-Pierre Rosen
2007-09-25 8:29 ` Michael Bode
2007-09-25 18:00 ` Jeffrey R. Carter
2007-09-25 18:31 ` Michael Bode
2007-09-25 11:20 ` Markus E L
2007-09-26 2:23 ` Steve
2007-09-26 12:21 ` Markus E L
2007-09-28 0:49 ` Randy Brukardt
2007-09-28 2:43 ` Steve
2007-09-28 9:36 ` Markus E L
2007-09-29 15:59 ` Michael Bode
2007-09-29 16:50 ` Markus E L
2007-09-26 6:58 ` Ole-Hjalmar Kristensen
2007-09-26 13:35 ` Steve
2007-09-26 14:06 ` Markus E L
2007-09-27 18:26 ` Michael Bode
2007-09-27 20:18 ` Markus E L
2007-09-28 6:45 ` Jean-Pierre Rosen
2007-09-29 9:18 ` michael bode
2007-09-28 2:29 ` Steve
2007-09-28 9:23 ` Markus E L
2007-09-30 14:50 ` Steve
2007-10-02 3:50 ` Randy Brukardt
2007-10-02 11:06 ` Peter C. Chapin
2007-10-02 20:38 ` Maciej Sobczak
2007-10-02 20:45 ` Pascal Obry
2007-10-03 19:23 ` Maciej Sobczak
2007-10-03 19:40 ` Pascal Obry
2007-10-03 20:08 ` Maciej Sobczak
2007-10-04 20:18 ` Maciej Sobczak
2007-10-04 20:21 ` Pascal Obry
2007-10-05 13:25 ` Maciej Sobczak
2007-10-06 10:50 ` concurrent access to containers (was: GNAT for MS Visual Studio) Georg Bauhaus
2007-10-05 20:15 ` GNAT for MS Visual Studio Simon Wright
2007-10-06 14:47 ` Matthew Heaney
2007-10-06 15:03 ` Pascal Obry
2007-10-06 16:03 ` Dmitry A. Kazakov
2007-10-06 17:07 ` Pascal Obry
2007-10-06 18:30 ` Dmitry A. Kazakov
2007-10-06 20:32 ` Maciej Sobczak
2007-10-07 7:35 ` Dmitry A. Kazakov
2007-10-07 21:30 ` Maciej Sobczak
2007-10-08 7:50 ` Dmitry A. Kazakov
2007-10-08 10:32 ` Maciej Sobczak
2007-10-08 13:39 ` Maciej Sobczak
2007-10-08 15:10 ` Dmitry A. Kazakov
2007-10-08 20:40 ` Maciej Sobczak
2007-10-09 8:32 ` Dmitry A. Kazakov [this message]
2007-10-06 16:17 ` Matthew Heaney
2007-10-07 3:19 ` Randy Brukardt
2007-10-07 7:21 ` Pascal Obry
2007-10-07 7:49 ` Dmitry A. Kazakov
2007-10-07 16:41 ` Georg Bauhaus
2007-10-07 17:44 ` Simon Wright
2007-10-08 9:52 ` Georg Bauhaus
2007-10-08 10:42 ` Maciej Sobczak
2007-10-08 10:59 ` Georg Bauhaus
2007-10-08 11:07 ` Georg Bauhaus
2007-10-08 18:44 ` Pascal Obry
2007-10-08 15:21 ` Dmitry A. Kazakov
2007-10-08 18:28 ` Pascal Obry
2007-10-07 21:48 ` Maciej Sobczak
2007-10-07 22:27 ` Jeffrey R. Carter
2007-10-08 21:10 ` Simon Wright
2007-10-09 1:53 ` Randy Brukardt
2007-10-09 21:01 ` Simon Wright
2007-10-09 22:48 ` Randy Brukardt
2007-10-10 0:21 ` Jeffrey R. Carter
2007-10-10 4:57 ` Simon Wright
2007-10-10 7:46 ` Dmitry A. Kazakov
2007-10-03 5:20 ` Licensing again (was Re: GNAT for MS Visual Studio) Simon Wright
2007-10-03 2:03 ` GNAT for MS Visual Studio Steve
2007-09-28 14:48 ` Ed Falis
2007-09-29 2:32 ` Steve
2007-09-29 6:53 ` Vadim Godunko
2007-09-26 14:08 ` Dmitry A. Kazakov
2007-09-25 2:39 ` Randy Brukardt
2007-09-25 8:40 ` Michael Bode
2007-09-25 11:28 ` Markus E L
2007-09-26 10:19 ` Pascal Obry
2007-09-26 13:00 ` Michael Bode
2007-09-25 2:32 ` Randy Brukardt
2007-09-25 8:27 ` Stephen Leake
-- strict thread matches above, loose matches on Subject: below --
2007-10-12 22:03 Anatoly Chernyshev
2007-10-13 20:25 ` Maciej Sobczak
2007-10-14 10:37 ` Simon Wright
2007-10-14 11:26 ` Markus E L
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox