Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Rust's trait system is a proof engine, let's make it prove us an ABI! - Pierre Avital

Автор: RustLab Conference

Загружено: 2024-02-12

Просмотров: 15267

Описание:

🔔 FOLLOW RUSTLAB CHANNEL 🔔

ABSTRACT:
Frustrated that `const generics` can't do math yet? Want to make some structure change layout based on the size of its generic parameters? Curious about how you can make lists, loops, ternaries and branches without declaring a single function? Tried to understand how `stabby` builds a stable representation for your enums and came home with a headache?

In this talk, you will learn how to make the type system do math, how to use Generic Associated Types (GATs) to do so without reaching where-clause hell, and how to have that math influence your types’ layouts.

I'll take you through stabby's secret sauce that made it the first stable ABI available in Rust to provide niche optimizations: abusing the trait system for fun and profit.

I'll teach you the ways of computation by GATs, its limits and how to play around them, and just how cursed things can get when you give a Turing complete type system to someone who listens to talks about category theory for fun. This talk will start with some context and background concepts, and continue with a more concrete code-oriented session.

This channel is dedicated to the videos of the RustLab conference.
⚙️ Follow us on TWITTER:

/ rustlab_conf
⚙️ Follow us on FACEBOOK:

/ rustlabconference

RustLab is the first Italian international conference on the Rust programming language, organized by Develer.
Develer is not just an Italian company projecting and releasing hardware and software solutions for the industrial environment, but is also an ensemble of people sharing their great passion for new technologies and how they can be applied to your everyday life.

⚙️ Follow DEVELER on INSTAGRAM:

/ wearedeveler
⚙️ Follow DEVELER on FACEBOOK:

/ we.are.develer
⚙️ Follow DEVELER on TWITTER:

/ develer
⚙️ Follow DEVELER on LINKEDIN:

/ 114426
⚙️ Follow DEVELER on TELEGRAM: https://t.me/wearedeveler
⚙️ Follow DEVELER on TIK TOK:

/ wearedeveler

Rust's trait system is a proof engine, let's make it prove us an ABI! - Pierre Avital

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Pavex: re-imaging what API development looks like in Rust - Luca Palmieri

Pavex: re-imaging what API development looks like in Rust - Luca Palmieri

Два способа динамической отправки

Два способа динамической отправки

The magic of Rust's type system

The magic of Rust's type system

Как устроена компьютерная графика? OpenGL / C++

Как устроена компьютерная графика? OpenGL / C++

Vello: high performance 2D graphics - Raph Levien

Vello: high performance 2D graphics - Raph Levien

The Future of Rust Web Applications - Greg Johnston

The Future of Rust Web Applications - Greg Johnston

Property-testing async code in Rust to build reliable distributed systems - Antonio Scandurra

Property-testing async code in Rust to build reliable distributed systems - Antonio Scandurra

Ржавчина — это не C

Ржавчина — это не C

Keynote | Rust in the Linux kernel - Alice Ryhl

Keynote | Rust in the Linux kernel - Alice Ryhl

Rust Structs, Traits and Impl

Rust Structs, Traits and Impl

Rust is not a faster horse

Rust is not a faster horse

Keynote | Actors with Tokio – a lesson in ownership - Alice Ryhl

Keynote | Actors with Tokio – a lesson in ownership - Alice Ryhl

Цепи Маркова — математика предсказаний [Veritasium]

Цепи Маркова — математика предсказаний [Veritasium]

Choose the Right Option

Choose the Right Option

Использовать дугу вместо вектора

Использовать дугу вместо вектора

When Zig Outshines Rust | Prime Reacts

When Zig Outshines Rust | Prime Reacts

Конструкторы сломаны

Конструкторы сломаны

Impl Trait aka Look ma’, no generics! by Jon Gjengset

Impl Trait aka Look ma’, no generics! by Jon Gjengset

but what is 'a lifetime?

but what is 'a lifetime?

Tonic makes gRPC in Rust stupidly simple

Tonic makes gRPC in Rust stupidly simple

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]