Шаблонное мета-программирование в современном C++ для задач космической баллистики (Леонид Меркин)

24 мая в Санкт-Петербурге состоялся первый System Level Meetup от компании YADRO. В рамках мероприятия спикер Леонид Меркин, доктор математических наук, выступил с докладом на тему "Шаблонное мета-программирование в современном C++ для задач космической баллистики". Он рассказал, как надежность mission-critical IT-решений в российской аэрокосмической индустрии растет благодаря программированию с развитыми системами типов, а именно на C++ стандартов 11–23. Для этой цели реализованы библиотеки C++ с открытым исходным кодом. SpaceBallistics включает type-safe-модели динамики ракет-носителей и космических аппаратов, методы дизайна и оптимизации траекторий. DimTypes реализует систему размерных типов на основе compile-time Z_p-арифметики. 00:16 - О докладе. 02:22 - Исторический контекст. 08:00 - Уровни зрелости IT процесса (a la CMMI)(Disclaimer: это просто статистическая закономерность!). 13:27 - Надежность ПО в широком смысле. 16:18 - IT в аэрокосмической индустрии. 22:51 - «Размерные типы» в С++. 27:54 - Библиотека DimTypes: Новая реализация размерныхтипов в С++. 31:05 - Макро для «высокоуровневого» объявления размерных типов (реализация — через Macro Map!). 32:54 - Пример: Правило вывода для умножения размерных величин. 33:50 - Примеры ошибок, выявляемых на этапе компиляции (GCC 15): Несовместимые размерности. 34:39 - Примеры ошибок, выявляемых на этапе компиляции (GCC 15): Несовместимые единицы измерения. 35:06 - Следующий уровень: библиотека SpaceBallistics. 37:26...