Можете объяснить различия между статической и динамической типизацией в языках программирования?

Статическая типизация означает, что типы переменных и выражений определяются на этапе компиляции. Это позволяет ловить ошибки типов до запуска программы. В языках со статической типизацией (например, Go, C, Java) тип переменной фиксирован и не меняется во время выполнения.

Динамическая типизация означает, что типы проверяются во время выполнения программы. Переменные могут содержать значения разных типов в разное время. Языки с динамической типизацией (например, Python, JavaScript) позволяют более гибко работать с данными, но ошибки типов могут проявиться только при выполнении.

В Go используется статическая типизация, что повышает безопасность и производительность, но требует явного указания типов или использования вывода типов компилятором.

Пример в Go:

var x int = 10 // x всегда int
x = "hello"  // ошибка компиляции

В динамически типизированном языке (например, Python):

x = 10
x = "hello"  # допустимо

Таким образом, статическая типизация помогает избежать многих ошибок заранее, а динамическая — даёт гибкость в работе с типами.