Является ли Go статически типизированным языком или динамически типизированным?

Go – статически типизированный язык. Это значит, что типы переменных проверяются во время компиляции. Несмотря на наличие пустого интерфейса и отражения, которые дают некоторую динамичность, в основном система типов Go статическая (в отличие, например, от Python или JavaScript).