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
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)
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.
Walkthrough starting now
OK, marathon! I hope that made sense to you two, @Santiago Pastorino and @Albin Stjerna =)
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"
It's also "sort of like constraint propagation, except backwards"
@Albin Stjerna video posted
@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