Rust Programming Language / Traits Working Group

Add meeting Rate page Subscribe

Rust Programming Language / Traits Working Group

These are all the meetings we have in "Traits Working Group" (part of the organization "Rust Programming Lan…"). Click into individual meeting pages to watch the recording and search or read the transcript.

12 May 2021

Niko and Jack Huey walking through how caching of trait evaluation works. The context is explaining PR #85186.
  • 3 participants
  • 1:09 hours
evaluating
debugging
crosstalk
structs
initializing
thinking
traits
compilers
implemented
assertions
youtube image

30 Oct 2020

Planning for a sprint to extract a standalone type library that can be shared by chalk, rustc.
  • 6 participants
  • 55 minutes
revising
slowly
shared
maybe
rust
conversation
keeping
closer
half
plans
youtube image

15 Apr 2020

No description provided.
  • 5 participants
  • 1:08 hours
iran
finish
discussion
chalks
possibly
rust
removing
haircut
drivers
stuff
youtube image

1 Jul 2019

Discussed the next steps around chalk + specialization.
  • 2 participants
  • 32 minutes
implemented
specializations
query
presumably
plan
overriding
feature
adjust
complicated
directed
youtube image

8 May 2019

Further discussion on how chalk-engine works, and some of the problems we see in practice that we have to think about how to resolve.
  • 3 participants
  • 1:11 hours
engine
semantics
truck
eventually
checkpoints
ensuring
pushes
chuck
query
goal
youtube image

23 Apr 2019

A discussion of how the chalk-engine crate works.
  • 6 participants
  • 59 minutes
conceptually
resolution
introduce
complicated
reasoning
clarify
plan
figuring
topic
purposes
youtube image

19 Mar 2019

An overview of the plans for rustc-chalk integration and some brief coverage of how it works in the code itself.
  • 3 participants
  • 1:03 hours
chalk
implementation
tricky
diagrams
understanding
sketchy
checker
proving
level
guide
youtube image

25 Feb 2019

A planning meeting where we map out and try to organize all the priorities, in an effort to map out next steps.
  • 4 participants
  • 1:00 hours
planning
discussion
specifying
exploratory
triage
suggesting
brainstorm
implementation
structure
prioritize
youtube image

14 Feb 2019

An overview of how higher-ranked types/trait-bounds (`for<'a> fn(&'a u32)` or `for<'a> T: Foo<'a>`) are implemented in rustc. Focuses on the idea of universes and placeholders and how those are used in subtyping.

The paper doc used in the video is readable here:

https://paper.dropbox.com/doc/Universes-and-57639--AXjnSUh91ZmbD0dDMwTTfFHfAg-vVrMCkndUoXzyrHCOQdq8

Or in gist form:

https://gist.github.com/nikomatsakis/848f6bd0db706b1f0596e7e559588128
  • 3 participants
  • 51 minutes
rusty
issue
subtyping
trade
clarifying
tip
rust
spoiler
iteratively
handling
youtube image