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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,80bc3e0698be468f
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!newsfeed.icl.net!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Type safety on wikipedia
Date: Thu, 26 Jan 2006 20:24:37 +0000
Organization: Pushface
Message-ID: <m2fynahh4q.fsf@grendel.local>
References: <1138260496.230283.147640@g43g2000cwa.googlegroups.com>
 <43D8B95E.80001@mailinator.com>
NNTP-Posting-Host: pogner.demon.co.uk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: news.demon.co.uk 1138307073 17748 62.49.19.209 (26 Jan 2006 20:24:33
 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Thu, 26 Jan 2006 20:24:33 +0000 (UTC)
Cancel-Lock: sha1:ha5Mnc0FdHtTi4rPuD/PrHL5ptg=
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (darwin)
Xref: g2news1.google.com comp.lang.ada:2664
Date: 2006-01-26T20:24:37+00:00
List-Id: <comp.lang.ada>

"Alex R. Mosteo" <devnull@mailinator.com> writes:

> 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.
>
> But I acknowledge that I'm new to the topic, anyone can explain?

As the page says (near the end) "The following languages are type safe
by default but can free themself from the type systems when needed."
and then lists Ada.