On Monday, 5 May 2014 at 17:46:35 UTC, Orvid King via
Digitalmars-d wrote:
Destructors and finalizers are the same thing.
That is exactly the point that I am arguing against. That they
are confused in D (or 'unified', if you think is a good thing) I
accept, but I think it's a language design error, or at least an
unfortunate omission. Did you read the citation I provided? I
think Boehm's argument is convincing; you've provided no
rebuttal. The entire brouhaha going on now is because they're
different: we assume that destructors will be called at a precise
time so we can use them to manage constrained resources and we
don't know that about finalizers.
