: > Ada may not be big on desktop today, yet it still used quite
: > heavility where security is important. But guess what: no GC.
: > In most impementations, at least.
> But then there's .NET and Java, Python and Perl, Erlang and Haskell
> more widely than ADA.
Just for the sake of correctness, Perl does not use GC at all - Perl uses reference counting, and as soon as the count drops to zero, the object's memory can be recycled (after a destructor finishes). This is much more simple than GC, destructors are called in a deterministic place of the program, but it also has drawbacks, such as not being able to free a circular reference, which is not referenced from the outside world (see Scalar::Util::weaken for the solution).