From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Rational for not making cursor tagged in Containers
Date: Sun, 22 Apr 2007 13:19:33 +0200
Date: 2007-04-22T13:19:33+02:00 [thread overview]
Message-ID: <ifwm6ji3p78n$.1wh2qmtbowvew.dlg@40tude.net> (raw)
In-Reply-To: 1177235674.13243.48.camel@localhost.localdomain
On Sun, 22 Apr 2007 11:54:34 +0200, Georg Bauhaus wrote:
> If the suggested "record interface" allows programmers to write
> a subprogram that defines what R.A means, then the analog
> *change* for task types will be "type T is interface task ...".
> It will allow programmers to specify what "accessing"
> The_T.A means, i.e. they not only write an acceptor A, but they
> will also be writing what "accept" means. Only be default
> will "accept" fall back to the LRM thing. :-)
Unfortunately that won't work, because "accept" is an implementation, but
interface. A better example of what, I guess, you meant, could be
"selectable interface" for entries, which would define the behavior of the
select statements. But again, unfortunately, there is no obvious way to
abstract the meaning of from the implementation of. The meaning of
concurrency constructs seem to be non-functional... Digressing, I would
guess that there might be fundamental reasons about it.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2007-04-22 11:19 UTC|newest]
Thread overview: 66+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-04-19 16:05 Rational for not making cursor tagged in Containers Anh Vo
2007-04-19 18:25 ` Robert A Duff
2007-04-19 19:28 ` Anh Vo
2007-04-19 20:45 ` Robert A Duff
2007-04-19 21:43 ` Dmitry A. Kazakov
2007-04-19 23:59 ` Ray Blaak
2007-04-20 7:54 ` Dmitry A. Kazakov
2007-04-20 10:56 ` Georg Bauhaus
2007-04-20 10:39 ` Dmitry A. Kazakov
2007-04-20 14:42 ` Georg Bauhaus
2007-04-20 14:45 ` Georg Bauhaus
2007-04-20 15:13 ` Dmitry A. Kazakov
2007-04-20 19:37 ` Georg Bauhaus
2007-04-20 19:32 ` Dmitry A. Kazakov
2007-04-20 20:59 ` Robert A Duff
2007-04-20 22:14 ` Dmitry A. Kazakov
2007-04-23 17:38 ` Adam Beneschan
2007-04-23 19:18 ` Dmitry A. Kazakov
2007-04-24 0:15 ` Adam Beneschan
2007-04-24 10:43 ` Dmitry A. Kazakov
2007-04-24 16:27 ` Adam Beneschan
2007-04-24 20:19 ` Dmitry A. Kazakov
2007-04-26 0:58 ` Adam Beneschan
2007-04-26 7:50 ` Dmitry A. Kazakov
2007-04-26 8:09 ` Markus E Leypold
2007-04-27 8:46 ` Dmitry A. Kazakov
2007-04-27 11:37 ` Markus E Leypold
2007-04-28 17:35 ` Dmitry A. Kazakov
2007-04-29 2:31 ` Randy Brukardt
2007-04-29 8:45 ` Dmitry A. Kazakov
2007-04-27 20:44 ` Robert A Duff
2007-04-26 8:33 ` Markus E Leypold
2007-04-26 11:09 ` Markus E Leypold
2007-04-20 19:55 ` Randy Brukardt
2007-04-22 9:54 ` Georg Bauhaus
2007-04-22 11:19 ` Dmitry A. Kazakov [this message]
2007-04-20 20:44 ` Robert A Duff
2007-04-21 5:38 ` Randy Brukardt
2007-04-22 1:14 ` Robert A Duff
2007-04-22 4:08 ` Randy Brukardt
2007-04-20 20:11 ` Randy Brukardt
2007-04-20 21:28 ` Dmitry A. Kazakov
2007-04-21 5:33 ` Randy Brukardt
2007-04-21 9:39 ` Dmitry A. Kazakov
2007-04-22 4:28 ` Randy Brukardt
2007-04-22 8:38 ` Dmitry A. Kazakov
2007-04-23 23:26 ` Randy Brukardt
2007-04-24 10:43 ` Dmitry A. Kazakov
2007-04-24 8:58 ` Georg Bauhaus
2007-04-24 12:21 ` Dmitry A. Kazakov
2007-04-21 4:48 ` unifying arrays and records (was Re: Rational for not making cursor tagged in Containers) Ray Blaak
2007-04-20 17:05 ` Rational for not making cursor tagged in Containers Ray Blaak
2007-04-20 18:46 ` Dmitry A. Kazakov
2007-04-20 18:52 ` Ray Blaak
2007-04-20 19:54 ` Robert A Duff
2007-04-20 1:18 ` Anh Vo
2007-04-20 7:53 ` Dmitry A. Kazakov
2007-04-20 9:26 ` Maciej Sobczak
2007-04-20 10:15 ` Dmitry A. Kazakov
2007-04-20 11:59 ` Jean-Pierre Rosen
2007-04-20 13:23 ` Anh Vo
2007-04-20 16:02 ` Jean-Pierre Rosen
2007-04-21 2:53 ` Anh Vo
2007-04-20 3:03 ` Randy Brukardt
2007-04-20 2:53 ` Randy Brukardt
2007-04-20 16:08 ` Anh Vo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox