Описание контрактов и инвариантов в Rust // Демо-занятие курса «Rust Developer. Professional»

На вебинаре мы разберём: - Понятие инварианта. - Инвариант безопасности в Rust. - Описание удобных и безопасных контрактов. Вебинар будет полезен: - Rust разработчикам, которые хотят использовать систему типов Rust для написания более надёжного кода. - Разработчикам на других языках, желающим создавать библиотеки с удобным и надёжным API. В результате вебинара: - Разберёмся с гарантиями, которые предоставляет компилятор и система типов Rust. - Поговорим о метриках для оценки надёжности и удобства использования API. - Опишем несколько контрактов, используя возможности языка. «Rust Developer. Professional» - https://otus.pw/ctH5/ Преподаватель: Кирилл Федченко - InfinitySwap, Lead Rust Developer Пройдите опрос по итогам мероприятия - https://otus.pw/pAwb/ Следите за новостями проекта: - Telegram: https://t.me/Otusjava - ВКонтакте: https://otus.pw/850t - LinkedIn: https://otus.pw/yQwQ/ - Хабр: https://otus.pw/S0nM/