¿Existe tipificación dinámica en Go?

En Go no hay tipificación dinámica en el sentido clásico. Go es un lenguaje con tipificación estática estricta, donde el tipo de una variable se determina en tiempo de compilación y no cambia durante la ejecución.

Sin embargo, en Go existen interfaces y el tipo interface{}, que permite trabajar con cualquier tipo de datos, creando una cierta flexibilidad similar a la tipificación dinámica. Pero trabajar con estos valores requiere conversión de tipos explícita o el uso de aserciones de tipo.

Ejemplo de uso de la interfaz vacía:

var x interface{}
 x = 42
 x = "cadena"

// Para obtener un tipo específico, se necesita hacer una conversión:
if str, ok := x.(string); ok {
    fmt.Println("Es una cadena:", str)
}