Ada has garbage collection

[Wes Groleau <groleau+news@freeshell.org>]

OK, we could argue semantics, but every language with
parameters/data on the call stack has garbage collection
for all those objects.

And Ada makes it far less necessary than some languages
to avoid pointers and use locals instead.

Many vendors use the heap for large things, but AFAIK,
they keep it transparent and do the "garbage collection"
just as well as if the objects stayed on the stack.

Of course, some problems/data structures almost demand
pointers, but with sensible encapsulation and package
designed, controlled types provide all the GC those things need.

How does that differ from C++ destructors?

Java couldn't afford to be without universal GC, because
it makes almost everything on the heap, and allows no
definition of destructors.

-- 
Wes Groleau

Even if you do learn to speak correct English,
whom are you going to speak it to?
                     -- Clarence Darrow