Nice presentation! I think it would have been helpful to show a bit more detail about Polonius itself (maybe the actual code or the algorithm used etc.) rather than just examples and how it deals with them. Just a thought. Maybe there are good reasons not to do that, that I’m not thinking of. (My perspective is that I know rust and would say I’m quite familiar with many of these aspects from using the borrow checker in practice but I couldn’t tell you much about its implementation details or where implementing them becomes tricky. Though I’m trying to learn more about it.)
Nice presentation!
I think it would have been helpful to show a bit more detail about Polonius itself (maybe the actual code or the algorithm used etc.) rather than just examples and how it deals with them.
Just a thought. Maybe there are good reasons not to do that, that I’m not thinking of.
(My perspective is that I know rust and would say I’m quite familiar with many of these aspects from using the borrow checker in practice but I couldn’t tell you much about its implementation details or where implementing them becomes tricky. Though I’m trying to learn more about it.)