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

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