Cuando se utiliza Type Inference (:=) lo que se hace realmente es medir la capacidad de la arquitectura de la máquina. Go detecta por medio de los datos de la memoria ROM la capacidad de la computadora para poder procesar dígitos. Si la computadora es de x64 bits entonces go decide utilizar tipos int64. Si la arquitectura es de x32 bits entonces Go escoge int32. No es para nada recomendable especificar de forma explícita el tipo de dato concreto en tipos de dato int o cualquiera que tenga diferentes variantes, primero porque no todas las computadoras podrán procesar uno u el otro y segundo porque si en el futuro se necesita almacenar un dato mayor a la hora de ir escalando el software, se puede encontrar con errores por el simple hecho de que el dato de la variante fue especificado concretamente en el código.