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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,fd63afa4dc364b7e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-14 13:00:17 PST Path: supernews.google.com!sn-xit-03!supernews.com!cyclone-sf.pbi.net!63.208.208.143!feed2.onemain.com!feed1.onemain.com!news-out.cwix.com!newsfeed.cwix.com!sjc-peer.news.verio.net!news.verio.net!sea-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: Better support for garbage collection In-Reply-To: Message-ID: References: <98m938$2iod0$1@ID-25716.news.dfncis.de> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Wed, 14 Mar 2001 20:59:28 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 984603568 206.184.139.136 (Wed, 14 Mar 2001 20:59:28 GMT) NNTP-Posting-Date: Wed, 14 Mar 2001 20:59:28 GMT Organization: Verio Xref: supernews.google.com comp.lang.ada:5734 Date: 2001-03-14T20:59:28+00:00 List-Id: On Wed, 14 Mar 2001, Robert A Duff wrote: > I too think it would be cool if GC for Ada were widely available. > But I think youll have a hard time convincing others. After all, any > implementation is allowed to provide GC, but nobody has done so, except > when the GC is unavoidable (the Ada 83 implementation on top of the > Symbolics Lisp Machine, and the Ada 95 implementations on top of the > JVM). Why not? > > Robert Dewar would argue that it's because nobody wants it (at least, > nobody wants it enough to pay for it). A more pessimistic take on this > is that all the folks who understand the glorious benefits of GC have > long since abandoned Ada in favor of "better" languages. IMO, just tacking on GC to an existing language doesn't make it very much better. When the language designers design a language with the expectation of GC, they may then support some higher level features, like first class functions, which do make the language much better. Ada is far less leaky than C family languages, so the win of just adding a GC seems smaller for Ada. Of course, you still have designers who blow it by putting in GC and omitting such features, but then after a few years they realize they screwed up and hack in such things. Java and Eiffel are good examples of such screw ups (nested/anonymous classes and "agents"). > It is also possible to use Boehm's conservative collector with Ada. > Does anybody do so? > > (I find the idea of conservative collection somewhat distasteful, > but it does seem to work in many cases.) Maybe if it were called a "probabilistic garbage collector" you wouldn't mind? ;-) Didn't Norman Cohen have a proposal for a storage pool extension that provided some support for garbage collection? I thought so, but my neural garbage collector seems to have reclaimed that hunk of my brain... -- Brian