Rust Programming Language / Polonius Working Group

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

7 Jun 2019

A discussion about the role of subset relations in Polonius's design and a proposal to propagate not the full subset relation but only equality.

Paper document:

https://paper.dropbox.com/doc/Polonius-and-subset-propagation--AemU19yUmQ461DupzxgaCj2NAg-2uMIPkQSbqpPjqrJ9L9DM

2 participants
49 minutes

proposal

pointer

problems

projection

propagation

regions

modified

simplifying

assignment

idea

youtube image

31 May 2019

Discussed how the current borrow checker tracks moves and initialization and how to move that logic to polonius.

Dropbox paper link:

https://paper.dropbox.com/doc/Polonius-and-initialization--AeKw2KzJcfEftnZDZ5C9cV8iAg-mNvR4jqITCdsJDUMEhFbv

2 participants
1:08 hours

initializing

careful

documenting

basic

implemented

rules

fancier

checking

notion

initially

youtube image

15 Mar 2019

A walk through the rustc and Polonius code bases, showing how the two are connected.

Paper doc is viewable here: https://paper.dropbox.com/doc/Polonius-Walkthrough-2--AZVdfdGwg3j9xs693~KyChtnAg-Wr90dk3V5DQQem9duos4P

1 participant
29 minutes

rusty

analysis

polonius

node

section

relations

debugging

vector

parameters

flow

youtube image