Kvůli tomu vzniklo údajně i Go. Má GC, kontroluje indexy, dělá escape analýzu, aby dalo potřebné objekty na haldu atd. Ono totiž i špičkový vývojář s magistrem z astrofyziky a PhD z CERNu naseká v kódu bugy. Může perfektně zvládnout koncept a návrh, ukázkově celou architekturu, ale jakmile se začne psát kód, dochází prostě k chybám. Proto se používá silná typová kontrola, testy, statická analýza a podobné vymoženosti.