Re: Type safety on wikipedia

["jimmaureenrogers@worldnet.att.net" <jimmaureenrogers@worldnet.att.net>]

"The appropriate formalization of this slogan depends on the style of
formal semantics used for a particular language. In the context of
denotational semantics, type safety means that the meaning (or the
value) of an expression that is well-typed, say with type t, is a bona
fide member of the set corresponding to t."

Even with unchecked conversion Ada has the 'Valid attribute, allowing
the programmer to determine if the result of an unchecked conversion is
a valid value.

I do not see how Unchecked_Deallocation interferes with type safety.
Ada access types are typed. There is no Ada equivalent to a C void*. An
Ada access type cannot be made to point to an object of some foreign
type. For instance,

    type Integer_Access is access Integer;

An instance of Integer_Access cannot reference a task, or a real
number, or some record type. Garbage collection cannot improve type
safety in Ada or any other language. It can only automate the process
of deallocating dynamically allocated objects.

Jim Rogers