Polonius update (blog.rust-lang.org)
from tedu@inks.tedunangst.com to inks@inks.tedunangst.com on 08 Oct 2023 19:10
https://inks.tedunangst.com/l/5044

Polonius refers to a few things. It is a new formulation of the borrow checker. It is also a specific project that implemented that analysis, based on datalog. Our current plan does not make use of that datalog-based implementation, but uses what we learned implementing it to focus on reimplementing Polonius within rustc.

#compiler #compsci #programming #rust #update

#compiler #compsci #inks #programming #rust #update