From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: High-Integrity OO and controlled types
Date: Tue, 3 May 2011 14:27:00 +0200
Date: 2011-05-03T14:27:01+02:00 [thread overview]
Message-ID: <1in9ypl17vu1t$.1shivr91x8zw6.dlg@40tude.net> (raw)
In-Reply-To: 4dbfe6cc$0$7664$9b4e6d93@newsspool1.arcor-online.net
On Tue, 03 May 2011 13:28:12 +0200, Georg Bauhaus wrote:
> On 03.05.11 11:59, Maciej Sobczak wrote:
>
>> Another angle: the fact that the lack of controlled types in HI
>> profiles can be considered as a problem is entirely a result of the
>> fact that Ada completely screwed this aspect at the beginning.
>> Controlledness should not be based on tags - it should be a completely
>> orthogonal property of the type,
>
> Actually, in non-flat languages like Ada, scope exit
> actions should be based on scopes, not (just) types,
> as types can effectively span multiple scopes.
But typed languages tend to consider actions as operations defined on
types, with certain contracts, reusable, clearly bound effects etc.
Actions as amorphous chunks of code tossed here and there depending on
scope is a way different ["anisotropic"] approach. In particular it does
not fit into safe modular software design, because of this "anisotropy".
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2011-05-03 12:27 UTC|newest]
Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-01 20:38 High-Integrity OO and controlled types Maciej Sobczak
2011-05-01 21:29 ` Robert A Duff
2011-05-01 22:44 ` Simon Wright
2011-05-02 7:59 ` Dmitry A. Kazakov
2011-05-02 16:32 ` Robert A Duff
2011-05-02 19:39 ` Dmitry A. Kazakov
2011-05-03 0:08 ` Robert A Duff
2011-05-03 7:30 ` Dmitry A. Kazakov
2011-05-03 16:51 ` Robert A Duff
2011-05-02 9:50 ` Cyrille
2011-05-02 10:01 ` Cyrille
2011-05-02 19:25 ` Maciej Sobczak
2011-05-03 9:32 ` Cyrille
2011-05-03 9:59 ` Maciej Sobczak
2011-05-03 10:24 ` Dmitry A. Kazakov
2011-05-03 16:53 ` Robert A Duff
2011-05-03 17:37 ` Dmitry A. Kazakov
2011-05-03 11:28 ` Georg Bauhaus
2011-05-03 12:27 ` Dmitry A. Kazakov [this message]
2011-05-03 15:22 ` Georg Bauhaus
2011-05-03 16:28 ` Dmitry A. Kazakov
2011-05-04 8:48 ` Georg Bauhaus
2011-05-04 9:28 ` Dmitry A. Kazakov
2011-05-04 14:46 ` Georg Bauhaus
2011-05-04 15:01 ` Dmitry A. Kazakov
2011-05-04 15:25 ` Georg Bauhaus
2011-05-04 16:23 ` Dmitry A. Kazakov
2011-05-04 17:06 ` Georg Bauhaus
2011-05-04 20:16 ` Dmitry A. Kazakov
2011-05-05 7:13 ` Maciej Sobczak
2011-05-05 10:58 ` Cyrille
2011-05-05 12:35 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox