Sguaba: Типобезопасная пространственная математика в Rust

Существует множество способов описания местоположения объектов в космосе. Вот лишь некоторые из них: WGS84, известная система координат, привязанная к Земле; ECEF («Землецентричная, фиксированная к Земле»), декартова система координат, привязанная к осям Земли; NED («Север, Восток, Низ»), система координат, описывающая положение объекта относительно наблюдателя по сторонам света; или FRD («Вперед, Направо, Низ»), описывающая положение объекта относительно направления взгляда наблюдателя. Что ещё хуже, точки во всех этих системах, за исключением WGS84, могут быть выражены в декартовых координатах (то есть X, Y и Z), сферических координатах (то есть углу к полюсу, углу в плоскости XY и радиусу) или горизонтальных координатах (то есть азимуте, высоте и расстоянии).

Когда мы пишем программное обеспечение для систем, работающих с реальными координатами, часто возникает вопрос о том, в какой системе координат находятся эти координаты и как они представлены. И любая ошибка в ней даже в одном месте может привести к катастрофическим последствиям. Для этой цели я написал крейт Sguaba (названный в честь самоходной лодки кельтского божества Мананнана Мак Лира, которая управляется исключительно мыслями пилота). Sguaba — это крейт Rust, который строго типизирует координаты и векторы в соответствующих системах координат и реализует преобразования между ними.

В этом докладе, представленном на встрече Rust Amsterdam @ BlockTech, я расскажу о сложностях пространственной математики, а также о том, как использовать систему типов для кодирования этих сложностей. А также ответов на множество вопросов!

Анонс проекта Sguaba с открытым исходным кодом от Helsing: https://blog.helsing.ai/sguaba-hard-t...

Sguaba на GitHub: https://github.com/helsing-ai/sguaba

Слайды можно найти по адресу https://jon.thesquareplanet.com/slide... (или экспортировать по адресу https://jon.thesquareplanet.com/slide....

0:00:00 Введение
0:01:28 Доклад
0:31:40 Вопросы и ответы