История изменений

А мы разве конкретно в этой ситуации получаем какие-то профиты от динамики? Сложение-то у нас доступно только для числовых типов данных, и эта программа не сможет работать, например, с:

• data.json, корнем в котором не является массив – это ограничение вводит vector-ref
• data.json, третьим элементом корня которого является не число – это ограничение вводит +

Конечно, в статике мы бы на первый раз скастовали ввод в условный number[], но даже если предположить, что другие элементы массива могут иметь другой тип, то ситуация не изменится: тип других элементов попросту не будет иметь значения. number[] будет корректно отражать фактическое поведение программы.

А мы разве конкретно в этой ситуации получаем какие-то профиты от динамики? Сложение-то у нас доступно только для числовых типов данных, и эта программа не сможет работать, например, с:

• data.json, корнем в котором не является массив – это ограничение вводит vector-ref
• data.json, третьим элементом корня которого является не число – это ограничение вводит +

Конечно, в статике мы бы на первый раз скастовали ввод в условный number[], но даже если предположить, что другие элементы массива могут иметь другой тип, то ситуация не изменится: тип других элементов попросту не будет иметь значения.