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,3ccb707f4c91a5f2
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Java vs Ada 95 (Was Re: Once again,
 Ada absent from DoD SBIR solicitation)
Date: 1996/10/12
Message-ID: <dewar.845162942@merv>#1/1
X-Deja-AN: 189056811
references: <325BC3B3.41C6@hso.link.com>
 <Dz2B9H.9HD.0.-s@inmet.camb.inmet.com>
 <ROGOFF.96Oct10095045@sccm.Stanford.EDU> <325D7F9B.2A8B@gte.net>
 <325E452E.265C@gsfc.nasa.gov> <325E9110.1D16@gte.net> <dewar.845088653@merv>
 <326003FC.2038@gte.net>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-10-12T00:00:00+00:00
List-Id: <comp.lang.ada>


Dave Jones says

  "Garbage reduction works like this: When a type goes out of scope, all
   instances of that type are deleted."

That of course is familiar, but I never heard the term garbage reduction
applied specifically to this technique. Obviously this technique does
reduce garbage in the informal sense, but do you have a reference for
the specific application of this as a technical term?

  "Actually, Ada95 provides a pragma (pragma Controlled) to turn off garbage
  collection.  If the programmer can turn garbage collection on or off it is
  transparent only if the programmer wants it to be."

You misunderstand the meaning of transparent here. What I mean is that GC has
no effect on the formal semantics. It is not possible to write a program whose
semantics is entirely described by the Ada 95 RM which determines whether or
not garbage collection is in effect

    > Garbage
    > collection has never made it into a mainstream language before for all
    > sorts of reasons, but it seems quite possible
      that java will change this.

  Perhaps you wouldn't, but I would consider Lisp and Smalltalk to be
  mainstream languages. In fact, I would guess that Smalltalk is at least
  as popular as Ada

I was using mainstream to mean languages that have achieved very widespread
use such as Fortran, C and COBOL. I would consider none of the languages you
mention as mainstream in this sense, but Java has a good shot at qualifying!