Що означає типобезпека - Значення слів
В інформатицітипобезпека мови програмування означає безпеку його системи типів.
Система типів називаєтьсябезпечною абонадійною, якщо в програмах, що пройшли перевірку узгодження типів, виключена можливість виникнення помилок узгодження типів.
Помилка узгодження типів абопомилка типізації є неузгодженістю типів компонентів виразів у програмі, наприклад спробу використовувати ціле число в ролі функції. Пропущені помилки узгодження типів можуть призводити до баг і навіть програм. Безпека мови синонімом повної відсутності багів, але щонайменше баги стають досліджувані в рамках семантики мови.
Надійні системи типів також називають сильними, але трактування цього терміна часто пом'якшується, крім того, його часто застосовують до мов, що здійснюють динамічну перевірку узгодження типів (див. сильна і слабка типізація).
Іноді безпека розглядається як властивість конкретної програми, а не мови, якою вона написана — тому що деякі типобезпечні мови дозволяють обійти або порушити систему типів, якщо програміст практикує мізерну типобезпеку. Поширена думка, що такі можливості на практиці виявляються потребою, але це вигадка. Поняття про «безпеку програми» є важливим у тому сенсі, що реалізація безпечної мови сама може бути небезпечною. Розкрутка компілятора вирішує цю проблему, забезпечуючи мову безпеку у теорії, а й у практиці.
Транслітерація: Tipobezopasnost' Задом наперед читається як: ьтсонсапозебопіт Типобезпека складається з 16 букв