To the point Polonius is finally landing, and while it is better than current NLL, there are some issues it introduces, and it is still far from production.
Because of this "halting problem" compromise, I prefer the approach other languages are pursuing, keeping some form of automatic memory management, while improving their type systems, like Swift, Chapel, OxCaml, Scala 3, et al are pursuing.
https://blog.rust-lang.org/2026/08/04/enabling-polonius-alph...
Because of this "halting problem" compromise, I prefer the approach other languages are pursuing, keeping some form of automatic memory management, while improving their type systems, like Swift, Chapel, OxCaml, Scala 3, et al are pursuing.