Система трейтов Rust — это механизм доказательств, давайте заставим его доказать нам ABI! — Пьер ...

🔔 ПОДПИСЫВАЙТЕСЬ НА КАНАЛ RUSTLAB 🔔 АННОТАЦИЯ: Вас расстраивает, что `const generics` пока не могут выполнять математические операции? Хотите изменить структуру в зависимости от размера параметров обобщенного типа? Интересуетесь, как создавать списки, циклы, тернарные операторы и ветвления, не объявляя ни одной функции? Пытались понять, как `stabby` создает стабильное представление для ваших перечислений, и вернулись домой с головной болью? В этом докладе вы узнаете, как заставить систему типов выполнять математические операции, как использовать обобщенные ассоциированные типы (GAT) для этого, не попадая в ад предложений `where`, и как эти математические операции могут влиять на структуру ваших типов. Я расскажу вам о секретном ингредиенте `stabby`, который сделал его первым стабильным ABI, доступным в Rust, предоставляющим нишевые оптимизации: использование системы трейтов для удовольствия и выгоды. Я расскажу вам о методах вычислений с помощью GAT, об их ограничениях и о том, как их обойти, а также о том, насколько сложными могут стать задачи, когда вы даете полную по Тьюрингу систему типов тому, кто слушает лекции по теории категорий просто ради удовольствия. Эта лекция начнется с некоторого контекста и базовых понятий, а затем продолжится более конкретной сессией, ориентированной на код. Этот канал посвящен видео с конференции RustLab. ⚙️ Подписывайтесь на нас в TWITTER: /rustlab_conf ⚙️ Подписывайтесь на нас в FACEBOOK: /rustlabconference RustLab — первая итальянская международная конференция по языку программирования Rust, организованная компанией Develer. Develer — это не просто итальянская компания, разрабатывающая и выпускающая аппаратные и программные решения для промышленной среды, но и сообщество людей, разделяющих свою огромную страсть к новым технологиям и тому, как их можно применять в повседневной жизни. ⚙️ Подписывайтесь на DEVELER в INSTAGRAM: / носитьдевеллер ⚙️ Следите за DEVELER на FACEBOOK: / мы.разработчики ⚙️ Следите за DEVELER в Твиттере: / разработчик ⚙️ Следите за DEVELER на LINKEDIN: / 114426 ⚙️ Следите за DEVELER в TELEGRAM: https://t.me/wearedeveler ⚙️ Подписывайтесь на DEVELER в TIK TOK: / носитьдевеллер