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: fac41,f66d11aeda114c52
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,f66d11aeda114c52
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Design by Contract
Date: 1997/08/27
Message-ID: <dewar.872716785@merv>#1/1
X-Deja-AN: 268657838
References: <872172435.980@dejanews.com> <33FC66AD.9A0799D4@calfp.co.uk>
 <33FFA4B1.3543@flash.net> <3402A529.CCFDAC8C@calfp.co.uk>
 <3403940F.4154@pseserv3.fw.hac.com> <349224633wnr@eiffel.demon.co.uk>
Organization: New York University
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 1997-08-27T00:00:00+00:00
List-Id: <comp.lang.ada>


Roger says

<<Ada would benefit (for some applications) from Eiffel's garbage collection.
Apart from that, Ada has quite satisfactory ways of doing what Eiffel
has to offer. Although I prefer Eiffel's simple class-centric model and its
more disciplined exception model, Ada is certainly very usable without these.>>

As has been often pointed out, this is not a language issue, there is nothing
in the design of Ada that prohibits garbage collection, and indeed some
though has been given in the design to making sure nothing stands in its
way (unlike the case with C or, to a somewhat lesser extent withy C++).

Indeed there is at least one Ada implementation (the Intermetrics
Ada-to_Java compiler) that provides garbage collection, and soon there
will be at least one more.