История изменений
Исправление
dmitryalexeeff,
(текущая версия)
:
Вообще-то кажется уже давно обсосали эту тему, даже на хабре предлагали классификацию на основе 3 признаков ( ЕМНИП «по периоду» (compile-time,run-time), «по силе», «по явности» ).
Ну а статическая сильная типизация просто позволяет верифицировать построенную программную модель на основании размерностей величин (типов данных) во время компиляции. Для динамической типизации такой верификации пока не наблюдается, лично я так понял что там подразумевается верификация на основании exception-нов и последующего багфиксинга.
Исходная версия
dmitryalexeeff,
:
Вообще-то кажется уже давно обсосали эту тему, даже на хабре предлагали классификацию на основе 4 признаков ( ЕМНИП «по периоду» (compile-time,run-time), «по силе», «по явности» ).
Ну а статическая сильная типизация просто позволяет верифицировать построенную программную модель на основании размерностей величин (типов данных) во время компиляции. Для динамической типизации такой верификации пока не наблюдается, лично я так понял что там подразумевается верификация на основании exception-нов и последующего багфиксинга.