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,a77baf86c187076a,start X-Google-Attributes: gid103376,public From: "W. Wesley Groleau (Wes)" Subject: Re: Garbage collection (was a spinoff of a spinoff of a GA Date: 1996/10/17 Message-ID: <9610171549.AA07433@most>#1/1 X-Deja-AN: 190461923 sender: Ada programming language comments: Gated by NETNEWS@AUVM.AMERICAN.EDU mailer: Elm [revision: 70.85] newsgroups: comp.lang.ada Date: 1996-10-17T00:00:00+00:00 List-Id: Robert Dewar says: :> Wes says :> :> "And with composites, the provider of the data type has the complete freedom :> of choice to extend a controlled type with GC, extend a controlled type :> without GC, or not use a controlled type. :> :> So, compared to the above, how big is the payoff of having GC imposed on :> you by the implementation?" :> :> I don't think it is quite that simple. There is nothing to prevent a :> compiler having.... You are refuting a claim I didn't make. My QUERY was, "Since Ada now lets us customize garbage collection (or lack of) to each ADT, how many _Ada_ designers would be willing to pay extra for a reliable transparent global GC?" I doubt that any would be willing to pay for one that is unreliable or non-transparent. Part of the Ada philosophy (at least for me) is that if something is a requirement, I want to see it somewhere in code. If it isn't a requirement, I don't want it cluttering the code AND I don't want it interfering with requirements (including cost and schedule requirements). "see it somewhere in code" can be satisfied by adequate guarantees from a vendor or from testing that the requirement is met. Can obtaining those guarantees be easier than properly engineering one's ADTs? Is this another hazard comparable to "reuse without review"? (Please don't resurrect Ariane 5 :-) --------------------------------------------------------------------------- W. Wesley Groleau (Wes) Office: 219-429-4923 Hughes Defense Communications (MS 10-40) Home: 219-471-7206 Fort Wayne, IN 46808 (Unix): wwgrol@pseserv3.fw.hac.com ---------------------------------------------------------------------------