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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Wed, 09 May 2018 15:09:06 -0700
Organization: A noiseless patient Spider
Message-ID: <87zi18xz0d.fsf@nightsong.com>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
	<slrnpdpiv9.ntv.address@is.invalid>
	<pbr3mi$leu$1@franka.jacob-sparre.dk> <87k1su7nag.fsf@nightsong.com>
	<pbtlno$3k2$1@franka.jacob-sparre.dk> <87po2la2qt.fsf@nightsong.com>
	<87in8buttb.fsf@jacob-sparre.dk> <87wowqpowu.fsf@nightsong.com>
	<16406268-83df-4564-8855-9bd0fe9caac0@googlegroups.com>
	<87o9i2pkcr.fsf@nightsong.com> <pc8l7e$km5$1@franka.jacob-sparre.dk>
	<87in88m43h.fsf@nightsong.com>
	<cd866ee8-ad4d-489e-a38b-d8e5f5d4af00@googlegroups.com>
	<87efiuope8.fsf@nightsong.com>
	<322f9b26-01de-4753-bb50-6ef2f3d993d8@googlegroups.com>
	<87a7th9pd1.fsf@nightsong.com>
	<bbda04b9-0f91-47c5-9193-279b667f503c@googlegroups.com>
	<87h8no1nli.fsf@nightsong.com> <pcg2cc$h52$1@franka.jacob-sparre.dk>
	<flegbrFj0qjU1@mid.individual.net>
	<pcvrb3$5nh$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="a15f8e13c869a4517dec92123a650d01";
	logging-data="19486"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18kH7sWOJYJcWQhWudcxSmO"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:YA9NIyfUfUUjmxZaVNbni09oNJs=
	sha1:KtCa+0OWGWpUDsAqGU+zkgHfSQk=
Xref: reader02.eternal-september.org comp.lang.ada:52179
Date: 2018-05-09T15:09:06-07:00
List-Id: <comp.lang.ada>

"Randy Brukardt" <randy@rrsoftware.com> writes:
> implementation of finalization, objects with controlled parts remain 
> reachable until the appropriate master goes away

Meh, finalization is ugly in connection with GC and it's reasonable to
expect GC to have no observable effects, so it can't be expected to do
things like close files.  An Ada GC would be very useful even if it were
restricted to datatypes that didn't have those sorts of finalizers.