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!134.158.69.22.MISMATCH!in2p3.fr!kanaga.switch.ch!switch.ch!newsfeed.inode.at!news.hispeed.ch!linux2.krischik.com!news From: Martin Krischik Newsgroups: comp.lang.ada Subject: Re: Type safety on wikipedia Date: Thu, 26 Jan 2006 18:10:24 +0100 Organization: Cablecom Newsserver Message-ID: <2699034.1eZyeDQ0BO@linux1.krischik.com> References: <1138260496.230283.147640@g43g2000cwa.googlegroups.com> <43D8B95E.80001@mailinator.com> NNTP-Posting-Host: 84-74-134-212.dclient.hispeed.ch Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: news.hispeed.ch 1138298432 2717 84.74.134.212 (26 Jan 2006 18:00:32 GMT) X-Complaints-To: news@hispeed.ch NNTP-Posting-Date: Thu, 26 Jan 2006 18:00:32 +0000 (UTC) User-Agent: KNode/0.10 Xref: g2news1.google.com comp.lang.ada:2652 Date: 2006-01-26T18:10:24+01:00 List-Id: 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