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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4c42ac518eba0bbe
X-Google-Attributes: gid103376,public
X-Google-Thread: 109fba,4c42ac518eba0bbe
X-Google-Attributes: gid109fba,public
X-Google-Thread: 1014db,4c42ac518eba0bbe
X-Google-Attributes: gid1014db,public
From: Matt <mcorey@itsnet.com>
Subject: Re: Coding for Obscurity
Date: 1997/11/24
Message-ID: <3479310A.2082@itsnet.com>#1/1
X-Deja-AN: 292186607
References: <343fbb5a.0@news.iprolink.ch> <34466EB4.3381@dynamite.com.au>
 <6275dt$agm$3@news.on> <344BCED0.2D51@dynamite.com.au>
 <62tpap$7gh$1@darla.visi.com> <3470EF6E.F74@lysator.liu.se>
 <64qsf0$ccc@dfw-ixnews11.ix.netcom.com> <3474BF28.2F9F@dynamite.com.au>
 <34741AAF.1C7@CWA.de> <65b6ns$kok$1@goanna.cs.rmit.edu.au>
To: "Richard A. O'Keefe" <ok@goanna.cs.rmit.edu.au>
Reply-To: mcorey@itsnet.com
Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++
Date: 1997-11-24T00:00:00+00:00
List-Id: <comp.lang.ada>


--snip--
> By the way, I regard this as a defect in Ada as well.  Ada was supposed to
> allow for garbage collection, but with the exception of a couple of recent
> Ada->JVM compilers, this hasn't happened.  Since you _do_ have to do manual
> memory management in practice, it is a pity that the language doesn't provide
> more compile-time help for getting it right.  Perhaps Ada 2007 could borrow a
> few ideas from LC-Lint.

Ada does provide for garbage collection.  It just doesn't mandate it. 
Requiring it would make the language almost useless in real-time systems
and we would see many
"We're-just-like-Ada-but-without-the-garbage-collection" languages pop
up.  

I do like the idea of being able to specifying that a pointer can never
be null.  It sould be handy in many situations.

Matt