Зачем нужны типы: статическая и динамическая типизация без занудства

Если попросить программу сложить число 5 со словом «кошка», она должна как-то понять, что вы, скорее всего, ошиблись — и тут начинается история о типах.

Тип — это обещание о том, что лежит в переменной. Статическая типизация проверяет эти обещания заранее, динамическая — в момент исполнения.

Что такое тип

В памяти компьютера всё — это числа. Но программе важно знать, чем эти числа являются: количеством товаров, текстом имени или списком оценок. Тип данных и есть ответ на вопрос «что это и что с этим можно делать». Числа можно складывать и умножать, строки — соединять, к списку — добавлять элементы. Тип определяет набор допустимых операций.

Зачем это языку? Чтобы ловить бессмыслицу. Деление имени на дату рождения — это почти наверняка ошибка программиста, и хорошо бы её поймать, а не молча выдать мусор.

Две философии

Статическая типизация: проверь заранее

В языках со статической типизацией (Java, C++, C#, Rust, TypeScript) типы переменных известны и проверяются до запуска, на этапе компиляции. Часто их даже нужно явно объявить:

int age = 30;        // обещаем: тут целое число
String name = "Аня"; // а тут строка
age = "тридцать";    // ОШИБКА ещё до запуска — нарушено обещание

Плюс: множество ошибок ловится сразу, ещё до того как программа заработает. Среда подсказывает, что у объекта есть, а чего нет. Минус: больше формальностей, кода чуть многословнее, надо думать о типах заранее.

Динамическая типизация: разберёмся на ходу

В языках с динамической типизацией (Python, JavaScript, Ruby) переменная не привязана к типу заранее. Тип у значения есть, но проверяется он в момент исполнения:

age = 30        # сейчас число
age = "тридцать"  # а теперь строка — язык не против
print(age + 5)  # вот ТУТ, на этой строке, будет ошибка

Плюс: писать быстро и гибко, отлично для прототипов и скриптов. Минус: ошибка типа может затаиться и выстрелить в самый неподходящий момент — уже когда программа работает у пользователя.

Сравнение по сути

Это не «лучше» и «хуже»

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

Третий путь: примирение

Индустрия нашла компромисс. TypeScript добавил статические типы поверх динамического JavaScript — пишешь с проверками, а на выходе обычный JS. А Python обзавёлся подсказками типов (type hints): объявлять типы не обязательно, но можно, и тогда отдельные инструменты проверят код заранее. Получается лучшее из двух миров: гибкость, когда нужна скорость, и строгость, когда важна надёжность.