Il tipo di mappa di Go è not thread-safe, è tipizzato staticamente. non ha tipo di ereditarietà, programmazione generica, asserzioni, overload dei metodi o aritmetica dei puntatori, sia per buona ragione.
La sicurezza del tipo e la sicurezza della memoria sono obiettivi a lungo termine, qui c'è un problema.
Tipo di sicurezza presenta un sovraccarico, in kilobyte e megabyte che è accettabile. Go è progettato con MapReduce e "Big data", exobytes di un petabyte di dati, che presenta problemi di prestazioni con sicurezza di tipo, il controllo di tipo (boxing / unboxing) crea overhead e richiede cicli di elaborazione.
La sicurezza del tipo può essere restrittiva nella sottotipizzazione e nel polimorfismo e nella digitazione anatra (getto dell'oggetto su oggetto), questo crea pericoli e anche uno spazio in cui linguaggi come Go sono di grande beneficio. C ++ e Java non vengono sostituiti da Go, è un nuovo linguaggio per aiutare la programmazione distribuita e il sistema massivamente parallelo.
La grande affermazione di Bruce Eckel - "Go ha molto più senso per la classe di problemi che il C ++ originariamente intendeva risolvere", è discutibile. Il C ++ è un linguaggio molto efficiente e l'implementazione Boost di MapReduce è molto efficiente.
I primitivi della concorrenza sono il futuro. Digitare la sicurezza è sempre stato un argomento molto controverso e andare forse la prima lingua per affrontare questo problema in 20 anni, o da Algol.