Тут, видимо, имелся в виду тот факт, что Go умеет сам определять, что ему подсовывают в переменную. Но тут есть нюанс: это не то же самое, что в языках с действительно нестрогой типизацией, где в одной переменной может оказаться как расстояние от Земли до Луны, так и слон (как объект). Просто Go умеет отличить строку от целого числа при присвоении значения переменной, и сам под капотом назначит переменной нужный тип. Но это не значит, что типа там нет.