Skip to content
Hallway
0:00 / 0:00

#rust#subtyping#variance

Felix Klock - Subtyping in Rust and Clarke's Third Law

Rust Programming Language

70K subscribers • 72 videos on Hallway • Conference channel

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Felix Klock

Advanced. Deep dive for people who know the field.

16K views9 years ago2 recommendations

Programming languagesSystems programmingRustLanguage design and type systems

Felix Klock explains how subtyping and variance interact with lifetimes in Rust's type system.

“Any sufficiently advanced technology is indistinguishable from magic.” – Arthur C Clarke This is a talk about magic. In particular: Rust has subtyping, but it may not be in the place where you thought it was. My primary goal is to explain that metaphorical sleight-of-hand, in two parts. My secondary goal is to convey that most of the time you need not think about subtyping, except when doing particularly hairy data structure development where questions arise around “variance.” --- For more go to rustfest.eu or follow us on Twitter: twitter.com/rustfest Help us caption & translate this video! amara.org/v/2FiX/

Why it's here

2 people recommend this

What people say. Recommended as a clear explanation of how subtyping and variance interact with static lifetimes in Rust.

u/rnestlerin r/rust • Recommends

On “Paint me a Lifetime ... Please”

As far as I remember Felix did a talk about subtyping where he also talks about lifetimes: link to this video
2View on Reddit

u/fgilcherrust-community · rustfestin r/rust • Recommends

On “Favorite Rust videos and talks?”

I did really enjoy the very first ever RustFest talk, in which Felix explains type system particularities in a really clean way. [video This talk about getting into Rust was awesome, I died laughing. It's not particularly about deep language particularities, but the way the story and jokes are set up shows a deep understanding of both Ruby (where the speaker is coming from) and Rust (where the speaker was going to) and especially the mental disconnect that sometimes creeps into the discussions. Also, best visualisation of the compiler. [video On the non-tech side, I loved Matt Gathus closing keynote at RF 2017. It's honest, subtle and didn't fall into the trap of trying to fill all t…
2View on Reddit