> -- Pimbom писал(а):
> А есть ещё такая формулировка, как безопасная типизация. Что Вы думаете по этому поводу?
Типобезопасность?Заодно там же в вики по теме:
Сильная и слабая типизация
Каламбур типизации

> -- «Сильная и слабая типизация» писал(а):
> В статье Луки Карделли «Полнотиповое программирование», система типов называется «сильной», если она исключает возможность возникновения ошибки согласования типов времени выполнения. Иначе говоря, отсутствие непроконтролированных ошибок времени выполнения называется типобезопасностью; ранние работы Хоара называют это свойство безопасностью (англ. security).