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,ee1a8b8db84c88f
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!212.101.4.254.MISMATCH!solnet.ch!solnet.ch!newsfeed.freenet.de!newsfeed.arcor.de!news.arcor.de!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada exception block does NOT work?
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.14.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: <dds99e$qgn$1@netnews.hinet.net>
 <4301ab29$0$6989$9b4e6d93@newsread2.arcor-online.net>
 <ddsbsh$8hf$1@netnews.hinet.net>
 <WywMe.7909$RS.138@newsread3.news.pas.earthlink.net>
 <dduoji$g6k$2@sunnews.cern.ch>
 <O9RMe.6732$Wi6.1435@newsread2.news.pas.earthlink.net>
 <de1hpr$4s$1@sunnews.cern.ch> <%s2Ne.2$5F1.1@dfw-service2.ext.ray.com>
 <1124383129.977718.320820@g44g2000cwa.googlegroups.com>
 <1124388461.739578.189030@g14g2000cwa.googlegroups.com>
 <1124390687.309704.156800@g44g2000cwa.googlegroups.com>
 <1124413067.744497.224850@z14g2000cwz.googlegroups.com>
Date: Fri, 19 Aug 2005 09:52:38 +0200
Message-ID: <132fbiuivleik.1v57az4npk9ve.dlg@40tude.net>
NNTP-Posting-Date: 19 Aug 2005 09:50:06 MEST
NNTP-Posting-Host: 24c67686.newsread2.arcor-online.net
X-Trace: 
 DXC=oQ_F2ZJ4o\ZHDP<e8k=NhWQ5U85hF6f;TjW\KbG]kaMX6=9@_^<GbDYmmJYm;;?Uf[[6LHn;2LCV^7enW;^6ZC`T<=9bOTW=MN^
X-Complaints-To: abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:4183
Date: 2005-08-19T09:50:06+02:00
List-Id: <comp.lang.ada>

On 18 Aug 2005 17:57:47 -0700, jimmaureenrogers@worldnet.att.net wrote:

> Quoting from the Ada Language Reference Manual section 3.2.1:
> 
> The elaboration of a full_type_declaration consists of the elaboration
> of the full type definition. Each elaboration of a full type definition
> creates a distinct type and its first subtype.

Which means exactly that types in Ada are dynamic.

> This means that the type does not mutate from one call of the
> procedure to another. Separate, distinct types are declared with
> a lifetime controlled by the scope of their definition.

Which was the point. Types in Ada have scopes, this is why they are
dynamic.

[ Mutability is an independent issue. First Ada does not have types as
first-class objects, so it is not very accurate to talk about them in the
context of mutable or not "types variables". Though because they are not
objects, there is also no way no change any "types variable". If they were
objects then highly probably limited ones. ]

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de