> The GC algorithm that Nim originally implemented had a correctness proof and
> yet it was wrong... ;-)
That sounds interesting. What was the name of the GC? Did it fail in
single-threaded progs and were failures very rare ("almost zero probability") ?
When was it observed the very first time? Could you fix it easily?
How safe is the GC in Swift (another refcounted language) and has it the same
difficulties? Are all refcounted GCs inherently unsafe? (as long as cyclic
references are involved, I guess, this is the main issue....)
