Universes and Lifetimes in Rust - Higher-Ranked Types Implementation

Offered By: Rust via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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

Compilers
Stanford University via edX Computer Language Engineering (SMA 5502)
Massachusetts Institute of Technology via MIT OpenCourseWare Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera Compiler Design
Indian Institute of Technology, Kharagpur via Swayam Formal Language and Automata Theory- An Application in Compiler Design
Chhattisgarh Swami Vivekanand Technical University via Swayam