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

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

Например, в языках со статической типизацией, таких как Java или C++, если вы объявили переменную как целочисленную, то попытка присвоить ей строку вызовет ошибку на этапе компиляции.

В Python типизация динамическая, но начиная с версии 3.5 появилась возможность использовать аннотации типов для статической проверки с помощью сторонних инструментов (например, mypy). Вот пример аннотации в Python:

def greet(name: str) -> str:
    return 'Hello, ' + name

Здесь мы указываем, что функция принимает строку и возвращает строку, что помогает инструментам статической проверки найти ошибки до запуска.