Чему вы научитесь
- Писать и собирать программы на Ada компилятором GNAT
- Читать сообщения компилятора и исправлять ошибки до запуска
- Задавать свои типы, диапазоны и перечисления
- Писать процедуры, функции и пакеты
- Обрабатывать исключения
- Описывать контракты Pre и Post
О курсе
Курс по языку программирования Ada. Строгие типы, свои диапазоны, подпрограммы, пакеты, исключения и контракты.
Для кого этот курс
Курс для тех, кто уже пишет на каком-нибудь языке и хочет посмотреть, как выглядит по-настоящему строгий. Он понравится и тем, кому интересна история программирования.
Начальные требования
Основы любого языка программирования: переменные, условия, циклы и функции. Если с ними пока сложно, начните с курса "Программирование на Python".
Преподаватели курса
313
Как проходит обучение
Короткие текстовые уроки с примерами на Ada и тесты с пояснениями к каждому ответу. Программы вы собираете у себя бесплатным компилятором GNAT.
Что вы получите
- Обучение в своём темпе
- Хорошую практику на языке, который ловит ошибки до запуска
- Итоговый проект "Аналитическая машина"
- Привычку писать надёжный код
- Новый взгляд на типы и контракты, полезный в любом языке
- Хорошую базу для изучения SPARK и надёжного программирования
Нагрузка
2-3 часа в неделю