Universes and Lifetimes in Rust - Higher-Ranked Types Implementation
Offered By: Rust via YouTube
Course Description
Overview
Explore the implementation of higher-ranked types and trait bounds in Rust's compiler through this 51-minute technical talk. Dive into the concepts of universes and placeholders, understanding their role in subtyping. Learn about trade bounds, assignments, and the intricacies of region inference. Examine the implementation details, including cases with multiple placeholders and sharing. Follow along with the provided paper document or gist for a comprehensive understanding of these advanced Rust concepts.
Syllabus
Intro
Agenda
Trade Bounds
Assignments
Subtyping
Universes
Implementation
More than one placeholder
Sharing
Region
Region Inference
Region Variable Info
Expand
Case
Taught by
Rust
Related Courses
Radical and Type Theories in Organic Chemistry (1832-1850) - Lecture 22Yale University via YouTube Introduction to programming with dependent types in Scala
Stepik Uncovering the Unknown - Principles of Type Inference in Programming Languages
ChariotSolutions via YouTube Univalence from a Computer Science Point-of-View - Dan Licata
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube