From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,4e5770c49b971630
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: High-Integrity OO and controlled types
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: <d8204576-14ff-41a4-b850-ace9c15872d4@v8g2000yqb.googlegroups.com>
 <679e3217-98dd-43c1-86f6-2038a029c3ea@b19g2000yqg.googlegroups.com>
 <94f3a272-d071-4a74-bfbd-8f2b4c2347cf@m10g2000yqd.googlegroups.com>
 <cba1e286-d160-4f75-aebc-74f82ce78f30@26g2000yqa.googlegroups.com>
 <beefc106-01b0-4dec-ae7b-2ef41b1c7c78@b19g2000yqg.googlegroups.com>
 <f6e72476-0dca-4ab8-bfdf-94a0ddf7a7dc@j26g2000yqa.googlegroups.com>
 <4dbfe6cc$0$7664$9b4e6d93@newsspool1.arcor-online.net>
Date: Tue, 3 May 2011 14:27:00 +0200
Message-ID: <1in9ypl17vu1t$.1shivr91x8zw6.dlg@40tude.net>
NNTP-Posting-Date: 03 May 2011 14:27:01 CEST
NNTP-Posting-Host: fe8aa9cf.newsspool4.arcor-online.net
X-Trace: 
 DXC=QmY`0mWd=LC^B]`=U:WelB4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOK`b2fgMK20oG[6LHn;2LCVN7enW;^6ZC`D\`mfM[68DCCFKZmOc2b<PF
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:19141
Date: 2011-05-03T14:27:01+02:00
List-Id: <comp.lang.ada>

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