From: bdbryant@mail.utexas.edu (Bobby D. Bryant)
Subject: Re: Type safety on wikipedia
Date: Thu, 26 Jan 2006 23:43:30 +0000 (UTC)
Date: 2006-01-26T23:43:30+00:00 [thread overview]
Message-ID: <drbmr2$ooi$1@geraldo.cc.utexas.edu> (raw)
In-Reply-To: 43D8B95E.80001@mailinator.com
On Thu, 26 Jan 2006, "Alex R. Mosteo" <devnull@mailinator.com> 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.
>
> But I acknowledge that I'm new to the topic, anyone can explain?
The Unchecked_Deallocation has to be instantiated for a specific type.
Is there a way of using it that isn't type safe? (Surely it isn't the
type that's "Unchecked" ?)
--
Bobby Bryant
Austin, Texas
next prev parent reply other threads:[~2006-01-26 23:43 UTC|newest]
Thread overview: 42+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-01-26 7:28 Type safety on wikipedia Martin Krischik
2006-01-26 11:58 ` Alex R. Mosteo
2006-01-26 17:10 ` Martin Krischik
2006-01-26 20:24 ` Simon Wright
2006-01-26 20:43 ` Simon Wright
2006-01-27 6:58 ` Martin Krischik
2006-01-26 23:43 ` Bobby D. Bryant [this message]
2006-01-27 11:14 ` Alex R. Mosteo
2006-01-27 11:57 ` Martin Krischik
2006-01-27 15:30 ` Larry Kilgallen
2006-01-27 19:04 ` Martin Krischik
2006-01-27 22:06 ` Larry Kilgallen
2006-01-28 7:04 ` Martin Krischik
2006-01-29 21:48 ` Florian Weimer
2006-01-27 12:43 ` Georg Bauhaus
2006-01-26 13:49 ` Rod Chapman
2006-01-26 17:05 ` Martin Krischik
2006-01-26 18:14 ` Martin Krischik
2006-01-26 13:53 ` jimmaureenrogers
2006-01-26 15:18 ` Alex R. Mosteo
2006-01-26 16:49 ` Martin Krischik
2006-01-26 18:19 ` Alex R. Mosteo
2006-01-26 20:38 ` Simon Wright
2006-01-27 11:13 ` Alex R. Mosteo
2006-01-27 19:38 ` Simon Wright
2006-01-27 23:24 ` Randy Brukardt
2006-01-28 6:53 ` Martin Krischik
2006-01-27 18:58 ` Martin Krischik
2006-01-27 19:50 ` Simon Wright
2006-01-28 6:52 ` Martin Krischik
2006-01-26 19:22 ` Dmitry A. Kazakov
2006-01-26 19:07 ` Florian Weimer
2006-01-27 0:38 ` jimmaureenrogers
2006-01-27 18:54 ` Martin Krischik
2006-01-28 1:48 ` Jan Andres
2006-01-28 6:44 ` Martin Krischik
2006-01-31 2:13 ` Randy Brukardt
2006-02-06 5:02 ` Dave Thompson
2006-02-06 8:29 ` Larry Kilgallen
2006-01-27 11:34 ` Alex R. Mosteo
2006-01-27 12:18 ` Martin Krischik
2006-01-27 15:27 ` Florian Weimer
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox