Объяснение
Тип задаёт допустимые значения и операции. Статическая проверка работает до исполнения, динамическая — во время. Наличие статических типов не исключает логические ошибки и неверные внешние данные.
Задача для самостоятельного решения
Почему типизированный JSON-клиент всё равно должен проверять ответ сети?
Показать разбор ответа
Типы описывают предположения программы; сервер присылает байты и может нарушить схему. Нужна runtime-валидация на границе, а не только приведение типа.