Какие плюсы и минусы статической типизации

Плюсы:

• Безопасность типов: ошибки выявляются на этапе компиляции
• Лучшая документированность: типы делают код самодокументируемым
• Оптимизация: компилятор может лучше оптимизировать код
• Поддержка IDE: автодополнение, рефакторинг и навигация работают точнее

Минусы:

• Меньшая гибкость: сложнее работать с динамическими структурами
• Больше boilerplate: нужно явно указывать типы
• Медленнее разработка: требуется время на описание типов

Пример на Python с type hints (псевдо-статическая типизация):

def greet(name: str) -> str:
    return f"Hello, {name}"