Ada 003 - Урок 2 Безопасность типа в языке программирования Ada

Ada 003 - Урок 2 - Безопасность типа В этом уроке: Основные функциональные возможности Ada, связанные с безопасностью типов, такие как типы диапазонов, производные типы и т.д.. В этом курсе описываются функции языка Ada, поддерживающие разработку больших приложений, включая обработку исключений, безопасность типов, типы доступа, инкапсуляцию и универсальность.