Какие преимущества и недостатки существуют у статической типизации в языках программирования?

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

Преимущества:

• Раннее обнаружение ошибок типов, что повышает надежность кода.
• Улучшенная производительность, так как компилятор может оптимизировать код, зная типы заранее.
• Лучшая поддержка инструментов (IDE), например, автодополнение и рефакторинг.
• Четкая документация кода через типы.

Недостатки:

• Меньшая гибкость, сложнее писать обобщённый или динамический код.
• Требуется больше времени на написание и поддержку типов.
• Иногда избыточная строгость мешает быстрому прототипированию.

Пример на Python с использованием статической типизации (type hints):

from typing import List

def sum_numbers(numbers: List[int]) -> int:
    return sum(numbers)

result = sum_numbers([1, 2, 3])
print(result)  # 6

Здесь типы помогают понять, что функция ожидает список целых чисел и возвращает целое число.