Википедия
В информатике типобезопасность языка программирования означает безопасность его системы типов .
Система типов называется безопасной или надежной , если в программах, прошедших проверку согласования типов , исключена возможность возникновения ошибок согласования типов .
Ошибка согласования типов или ошибка типизации представляет собой несогласованность типов компонентов выражений в программе, например попытку использовать целое число в роли функции. Пропущенные ошибки согласования типов могут приводить к багам и даже программ. Безопасность языка синонимом полного отсутствия багов , но, по меньшей мере, баги становятся исследуемы в рамках семантики языка .
Надёжные системы типов также называют сильными , но трактовка этого термина часто смягчается, кроме того, его часто применяют к языкам, осуществляющим динамическую проверку согласования типов (см. сильная и слабая типизация ).
Иногда безопасность рассматривается как свойство конкретной программы, а не языка, на котором она написана — по той причине, что некоторые типобезопасные языки разрешают обойти или нарушить систему типов , если программист практикует скудную типобезопасность. Распространено мнение, что такие возможности на практике оказываются необходимостью, но это вымысел. Понятие о «безопасности программы» важно в том смысле, что реализация безопасного языка сама может быть небезопасной. Раскрутка компилятора решает эту проблему, обеспечивая языку безопасность не только в теории, но и на практике.