Re: Type safety on wikipedia

[Martin Krischik <krischik@users.sourceforge.net>]

Alex R. Mosteo wrote:

> Martin Krischik wrote:
>> Hello
>> 
>> I found this interesting article on Wikipedia which made me think a
>> bit:
>> 
>> http://en.wikipedia.org/wiki/Type_safety
>> 
>> Do have a look at the talk page as well.
> 
> After reading that I'm not sure how Ada can be type safe if unchecked
> deallocation is a common way of implementing relatively common tasks as
> linked lists and so. The explicit example given for "type unsafety" is
> easily doable in Ada.

That is my thinking as well. 

> But I acknowledge that I'm new to the topic, anyone can explain?

The Wikipage describes a stricter rule to the term "type save" then most Ada
programmer would think. Have we been wrong or is this rule to strict to be
practical. Mind you academics never cared for practical.

And I have allways been an advocate for GC and this proves me somehow.

Martin
-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com