Types of Types in Rust

Explore the intricacies of Rust's type system in this 22-minute presentation by Ben Blum from the Research team. Delve into various aspects of types in Rust, including kind bounds, freeze bounds, traits, existential types, and closures. Learn about the new runtime, teleport types, and how traits function as objects. Gain insights into non-copyable types, their motivation, and perspective on lists. Enhance your understanding of Rust's type system and its unique features through this informative talk.

Introduction
New Runtime
Teleport
Types
Types in Rust
Kind bounds
Freeze bounds
Traits
Traits as objects
Existential type
Closures
Defaults
KindBounds
Trait Types
NonCopyable
Motivation
List
Perspective
Thank you
Clone