Напів -потужний тип управління в мовах програмування
- Час доставки: 7-10 днів
- Стан товару: новий
- Доступна кількість: 7
Заказывая «Полуопробудный тип управления на языках программирования», вы можете быть уверены, что данное изделие из каталога «Филология, лингвистика» вы получите через 5-7 дней после оплаты. Товар будет доставлен из Европы, проверен на целостность, иметь европейское качество.
Сильний тип управління - це дуже важлива зручність, пропонована мовами програмування. Він захищає програмістів від власних помилок, викликаючи виявлення багатьох концептуальних помилок та звичайних помилок, які вже на етапі програм. Контроль типу, отже, підвищує надійність програмного забезпечення. Було обчислено, що тип системи типів виявляє до 80% концептуальних та семантичних несправностей у програмному забезпеченні.
Хоча сильний тип контролю вже має довгу історію, його проблеми недостатньо вдосконалені. В останні роки в технологіях баз даних відбулися досить радикальні зміни, включаючи збільшення акценту на об'єктивності запитів та напівструктурних даних. Це спричиняє необхідність врахувати сильний контроль типів, адекватних для сучасних технологій.
У книзі "Напівдійне управління типом у мовах програмування баз даних" ми запропонували новий підхід до сильного типу управління. Ми назвали їх напівсипними типами типів. Ми моделювали назву на напівструктурній моделі даних. Конвергенція імен не є випадковою. У напівструктурній моделі, в якій типи розслабляються за визначенням, тип типу управління може бути лише напівпродуктивним. Представлений підхід до сильного типу контролю є всебічним і може бути використаний для кожної моделі даних, також коли дані є нерегулярними або коли мова запитів розширюється за допомогою програмування та абстракцій бази даних, таких як процедури, функції, методи, оновлені перспективи тощо