Система типізації: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
Рядок 7:
Системи типізації виконують наступні функції:
 
* '''Безпечність''' — застосування типів даних дозволяє [[компілятор]]у знаходити беззмістовний або неправильний код. Наприклад, можна визначити вираз <tt>"Привіт!" + 3</tt> як неправильний, оскільки додавання (в загальному розумінні) рядка до цілого числа не має сенсу. Як зазначено нижче, сильна типізація безпечніша, однак, вона не обов'язково гарантує повну безпеку (докладніше, дивіться [[безпечна типізація]]).
* '''Оптимізація''' — статична перевірка типів може повідомити додаткову інформацію компілятору. Наприклад, якщо тип даних вказує на те, що значення повинні вирівнюватись на границі кратні 4, компілятор зможе використати ефективніші машинні інструкції.
* '''Документування''' — у виразніших системах типізації, типи даних можуть служити як вид документації, оскільки вони можуть описувати наміри розробника. Наприклад, довжина може бути підтипом [[цілі числа|цілих чисел]], але, якщо розробник декларує тип результату функції як довжину, а не просто ціле число, це може частково описувати значення функції.