Why not have a systems language with garbage collection? From http://research.microsoft.com/pubs/52716/tr-2005-135.pdf http://research.microsoft.com/pubs/52716

Why not have a systems language with garbage collection? From http://research.microsoft.com/pubs/52716/tr-2005-135.pdf http://research.microsoft.com/pubs/52716/tr-2005-135.pdf: 3.4 Garbage Collection Garbage collection is an essential component of most safe languages, as it prevents memory deallocation errors that can subvert safety guarantees. In Singularity, the kernel and processes object spaces are garbage collected. I appreciate that Microsoft Research is saying "why not?" rather than "why?". Singularity is a fascinating OS and I hope it, or some derivative or something like it from someone else, eventually reaches the mainstream market.