Система типізації: відмінності між версіями
[неперевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
м робот додав: ky:Типтештирүү |
Немає опису редагування |
||
Рядок 8:
Системи типізації виконують наступні функції:
* '''Безпечність''' — застосування типів даних дозволяє [[компілятор]]у знаходити
* '''Оптимізація''' — статична перевірка типів може повідомити додаткову інформацію компілятору. Наприклад, якщо тип даних вказує на те, що значення повинні вирівнюватись на границі кратні 4, компілятор зможе використати ефективніші машинні інструкції.
* '''Документування''' — у виразнішіх системах типізації, типи даних можуть служити як вид документації, оскільки вони можуть описувати наміри розробника. Наприклад, довжина може бути підтипом [[цілі числа|цілих чисел]], але, якщо розробник об'являє повертаємий функцією тип даних як довжину, а не просто ціле число, це може частково описувати значення функції.
|