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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM 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!postnews.google.com!g44g2000cwa.googlegroups.com!not-for-mail
From: "Hyman Rosen" <hyman.rosen@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada exception block does NOT work?
Date: 18 Aug 2005 11:44:47 -0700
Organization: http://groups.google.com
Message-ID: <1124390687.309704.156800@g44g2000cwa.googlegroups.com>
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>
NNTP-Posting-Host: 204.253.248.208
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1124390692 26666 127.0.0.1 (18 Aug 2005 18:44:52
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 18 Aug 2005 18:44:52 +0000 (UTC)
User-Agent: G2/0.2
Complaints-To: groups-abuse@google.com
Injection-Info: g44g2000cwa.googlegroups.com; posting-host=204.253.248.208;
   posting-account=lJDDWg0AAACmMd7wLM4osx8JUCDw_C_j
Xref: g2news1.google.com comp.lang.ada:4169
Date: 2005-08-18T11:44:47-07:00
List-Id: <comp.lang.ada>

jimmaureenrogers@worldnet.att.net wrote:
> Please describe how you believe that Ada types are dynamic.

Ada types incorporate values that depend upon runtime values.
Array size is probably the simplest example - you can declare
an array inside a procedure whose size is determined by a
parameter to that procedure. I don't know Ada, but I'm pretty
sure that you can also have types whose discriminants are set
using values determined at runtime. As such, Ada types require
local storage (in principle) for their representation, and it
makes sense to free that storage once the scope in which the
type is declared is exited. C++ types never depend on runtime
values - they are always fully determined at compile time.