C++ Siberia 2020: Виталий Брагилевский - Управление ресурсами: линейные типы спешат на помощь

— —
. . . Как известно, языки программирования слабы в описании того, что нужно делать разработчикам. Они, конечно, пытаются помочь, но не всегда успешно. В результате программы содержат множество ошибок, что печально. В 1986 году Жан-Ив Жирар открыл линейную логику и тут же оказалось, что по соответствию Карри-Ховарда можно построить систему типов, которая способна выразить идею контроля за использованием ресурсов с ограниченным доступом. Спустя 30 с лишним лет можно сказать, что пока не всё получилось, но прогресс есть! В этом докладе я расскажу о том, что такое линейные типы и чем они могут помочь в управлении ресурсами, а также приведу примеры их использования в разных языках, сравнив с подходами, принятыми в С++.

[tkjyxrb]

Бул как инт - это про взаимодействие ньютайпов с семействами типов?

[redradist]

Все что услышал про линейные типы также соответствует и Rust-у )

[ВладимирГ-оч]

Очень интересный доклад. Спасибо организаторам.