Stream: t-compiler/wg-polonius

Topic: polonius walkthrough


nikomatsakis (Mar 07 2019 at 22:00, on Zulip):

For the next recorded Polonius video session, I was thinking a good topic would be a "walkthrough". The goal is to connect theory and code and try to show how everything works. I am hoping we can do this some time next week.

From the Polonius planning document:

- Walk through a simple example and connect it to the code
- here is where we compute this relation
- here is how data is transferred between rustc
- here is how the datafrog code works

nikomatsakis (Mar 07 2019 at 22:00, on Zulip):

Maybe @Albin Stjerna, you can create a doodle poll with some times that work for you? (Since you're a major part of the audience)

Albin Stjerna (Mar 11 2019 at 01:19, on Zulip):

Ok, here are two Doodles (mixing time zones turned out to be just too complicated):

I pre-propagated unreasonable Boston (and Melbourne/Stockholm) times. Now seriously considering always staying on some fixed time zone regardless of where I am currently living.

nikomatsakis (Mar 15 2019 at 15:30, on Zulip):

Walkthrough starting now

nikomatsakis (Mar 15 2019 at 15:30, on Zulip):

Here is a paper document

nikomatsakis (Mar 15 2019 at 16:01, on Zulip):

OK, marathon! I hope that made sense to you two, @Santiago Pastorino and @Albin Stjerna =)

Albin Stjerna (Mar 15 2019 at 16:02, on Zulip):

Yes it did! The "it's like a database" was very helpful in particular, because now I can just mentally model it as "sort of like Hadoop"

Albin Stjerna (Mar 15 2019 at 16:02, on Zulip):

It's also "sort of like constraint propagation, except backwards"

nikomatsakis (Mar 15 2019 at 20:41, on Zulip):

@Albin Stjerna video posted

nikomatsakis (Mar 15 2019 at 20:42, on Zulip):

@Albin Stjerna do you think you could open a PR to add a link to the Polonius WG readme? Actually, ideally we'd add a link to the playlist

Albin Stjerna (Mar 15 2019 at 20:52, on Zulip):

Albin Stjerna do you think you could open a PR to add a link to the Polonius WG readme? Actually, ideally we'd add a link to the playlist

Done!

Last update: Nov 15 2019 at 21:30UTC