C programmers (myself included) can often write correct programs with manual memory management (malloc/free).<p>Why can't a sufficiently capable compiler/language manage its memory based on static analysis of a program? (i.e. insert its own 'free's where a programmer would have put them)
They can, and it's basically what LLVM does when you turn on ARC for your Objective-C program.<p><a href="http://stackoverflow.com/questions/6385212/how-does-the-new-automatic-reference-counting-mechanism-work/6418410#6418410" rel="nofollow">http://stackoverflow.com/questions/6385212/how-does-the-new-...</a>