Rust Programming Language / Type System

This video was recorded during the Bay Area Rust Meetup in San Francisco, CA, USA on June 28, 2018.

https://www.meetup.com/Rust-Bay-Area/events/251073767/

Sunjay Varma presented an overview of his work on Chalk, the new trait-solving implementation in the Rust Compiler. He talked about the concept of coherence in the Rust language, described how it is implemented in rustc today, and then covered how he has implemented it in Chalk using logic programming.

Talk written and presented by:
Sunjay Varma (https://twitter.com/sunjay03)

Type System Tips for the Real World by Sean Griffin
Have you ever looked at some of the more exotic capabilities of Rust's type system and wondered “why”? Why on earth would I ever want a zero sized type? How do I efficiently implement a deeply recursive type? Just what do monomorphization and type erasure actually mean?

In this talk we'll look at some real world examples from inside Diesel to answer these questions and more. You'll come away from this talk with a stronger understanding of how to use Rust's generics, traits, and exotically sized types.

Ben Blum from the Research team presents "Types of Types in Rust" from 10 Forward

Help us caption & translate this video!

http://amara.org/v/2FhS/

Benjamin Blum from the Research team presents "Parallel Programming with Failure in Rust"

Michael Sullivan from the Research team presents "Static Typeclass Methods in Rust"

Video starts 1 min and 40 seconds in.

Help us caption & translate this video!

http://amara.org/v/2FhK/

Lindsey Kuper from the Research team presents “Rust Typeclasses Turn Trait-er.”

Help us caption & translate this video!

http://amara.org/v/2FhI/

“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 https://rustfest.eu or follow us on Twitter: https://twitter.com/rustfest

Help us caption & translate this video!

http://amara.org/v/2FiX/