2026-10-22 Пол Джарретт - Написание открытого исходного кода на Ada в 2026 году

7 октября 2026 г. — FLYWHEEL COWORKING, Гринвилл Узнайте об уникальном подходе языка Ada к описанию предметной области и концепций системного программирования. Почерпните мощные идеи, которые помогут вам усовершенствовать ваш следующий программный проект. Мы рассмотрим, как экосистема Ada с открытым исходным кодом эволюционировала за последние пять лет, обеспечивая современные условия для разработки. В докладе обсуждаются особенности Ada в работе с типами, инкапсуляцией и указателями, а также подходы к управлению ресурсами (с привязкой к области видимости), использованию суммарных типов (sum types) и организации задач (tasks). Вы увидите, как Ada делает вызовы функций на языке C более безопасными, поддерживает автоматическую упорядоченную инициализацию, а также позволяет создавать и распространять библиотеки — в том числе формально верифицированные — с помощью пакетного менеджера Alire. О спикере: Пол Джарретт (Paul Jarrett) — Чарлстон, Южная Каролина Инженер-программист Социальные сети / paul-y-jarrett https://github.com/pyjarrett https://ada-lang.io/ 00:00 Введение 00:32 Почему стоит обратить внимание на Ada? 02:21 Разбираемся в терминологии Ada 03:06 Современные инструменты: Alire 03:59 Взаимодействие с C: привязка (binding) библиотеки Raylib 06:51 Типы доступа (access types) и безопасность памяти 10:39 Пакеты, инкапсуляция и инварианты типов 14:27 Обобщения (generics) и освобождение памяти 15:53 Проектирование по контракту (Design by Contract) и доказательства корректности в SPARK 19:13 Встроенные механизмы многозадачности и защищенные типы (protected types) Пол Джарретт — инженер-программист, создатель сайта ada-lang.io. Получил степень бакалавра (BS) и магистра (MS) компьютерных наук в Виргинском политехническом институте (Virginia Tech) и Технологическом институте Джорджии (Georgia Tech) соответственно. В прошлом — занимался расщеплением атомов, находясь глубоко под водой на борту подводной лодки, в которой не было ни одного окна.