Как в языке Go реализуется проверка типов без необходимости явного указания типов?