Re: Type safety on wikipedia

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@xxxxxxxxxxxxxxxxxxxxx
Ada programming at: http://ada.krischik.com
.

Relevant Pages

  • Re: Humor fromkipedia
    ... > Martin Krischik wrote: ... Ada 2 chapters with a ... You can buy arbitrarily verbose Java book ... Ada programming at: http://ada.krischik.com ...
    (comp.lang.ada)
  • Re: Dynamically tagged expression required
    ... > Martin Krischik wrote: ... > const) name for the actual parameter, ... Is this reasoning correct for Ada? ... "pass by register" is an option for Ada as well. ...
    (comp.lang.ada)
  • Re: TIOBE Programming Community Index for November 2007
    ... On Nov 4, 6:56 pm, Martin Krischik ... But then it shows that they have a dedicated comunity which can fix ... integrated development tool written in Ada to (like Lazarus - ...
    (comp.lang.ada)
  • Re: The Computer Language Shootout Benchmarks
    ... Martin Krischik wrote: ... Ada is currently missing 2 programs on the "The Computer Language ... Shootout Benchmarks". ...
    (comp.lang.ada)
  • Re: Teaching new tricks to an old dog (C++ -->Ada)
    ... > Martin Krischik wrote: ... As Ada has an Ada standart library and indeed C has an C standard library ... Most C/C++ compiler I know of have a compiler option for "ANSI aliasing ...
    (comp.lang.ada)