Re: Ada exception block does NOT work?

["Hyman Rosen" <hyman.rosen@gmail.com>]

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.