Re: Ada exception block does NOT work?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

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