Статическая типизация — это особенность языков программирования, при которой тип каждой переменной (например, число, строка, список) определяется в момент компиляции (перед выполнением программы) и не может изменяться в процессе её работы.

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