Скачать с ютуб Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019 в хорошем качестве
Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019
5 лет назад
Из-за периодической блокировки нашего сайта РКН сервисами, просим воспользоваться резервным адресом:
Загрузить через dTub.ru Загрузить через ClipSaver.ruСкачать бесплатно Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019 в качестве 4к (2к / 1080p)
У нас вы можете посмотреть бесплатно Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019 или скачать в максимальном доступном качестве, которое было загружено на ютуб. Для скачивания выберите вариант из формы ниже:
Загрузить музыку / рингтон Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019 в формате MP3:
Роботам не доступно скачивание файлов. Если вы считаете что это ошибочное сообщение - попробуйте зайти на сайт через браузер google chrome или mozilla firefox. Если сообщение не исчезает - напишите о проблеме в обратную связь. Спасибо.
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса savevideohd.ru
Adam McCullough- Rust's Borrow Checker Proven Correct!- λC 2019
Getting something right for an entire language is hard! Major mainstream languages have shipped with incoherent type systems, which puts a severe limit on the language users. Rust beat the trend by having its borrow checker proven to be consistent. I'm going to go over why this is awesome. Rust's borrow checker is a wonderful piece of tech. But, like many things on the forefront of PLT, especially when it's been adopted by industry, it can be easy to introduce errors or inconsistencies in your design. Compilers are software too, and bugs in compilers are by no means unprecedented. This talk will briefly explain the nature of the problem, how it's gone wrong in the past, how the very smart folks went about verifying it, and what it means for you, the developer -- namely, why this is super awesome and a thing to be celebrated.
Comments
