У статті Луки Карделлі Типове програмування «сильна система типу» описується як така, в якій немає можливості неперевіреної помилки типу виконання. Іншим письмом, відсутність неперевірених помилок під час виконання називається безпекою або безпекою типу; Ранні статті Тоні Хоара називають цю власність безпекою.
«Безпечний тип» означає, що трансляції не застосовуються, і помилки типу під час виконання не можуть виникати. Деякі люди стверджують, що «строго типізований» нічого не означає, або «це добре», або «мені це зручно». все одно, «Безпечний тип» відноситься до частини коду або API, тоді як «Строгий тип» стосується всієї мови або платформи.
У комп'ютерному програмуванні, Мова програмування є строго типізованою, якщо вона вимагає специфікації типів даних. Мова програмування є вільно типізованою або слабко типізованою, якщо вона не вимагає явної специфікації різних типів об’єктів і змінних.
В інформатиці безпека типів і надійність типів є такими ступінь, до якого мова програмування перешкоджає або запобігає помилкам типу.
Строго типізована мова в інформатиці означає мова, де тип кожної змінної визначається під час компіляції. Це означає, що компілятор може виявляти помилки, пов’язані з неправильними типами змінних, як під час компіляції, так і під час виконання.
Інші переваги сильної типізації:
- раннє виявлення помилок прискорює розвиток.
- краще оптимізований код від компілятора.
- відсутність штрафу за час виконання для визначення типу.