[steveklabnik]

I haven't dug into the details a ton, but I am excited to see this! Would love to see more research in this direction.

> micro-mitten's approach is significantly different from Rust's. Rather than depending on single ownership and a complex lifetime system, micro-mitten uses a series of data-flow analyses to statically approximate heap liveness.

To be clear, Rust these days also looks at control-flow. This was what all the "non-lexical lifetimes" hubbub was about. And the next generation checker is based on datalog...

[throwaway894345]

> And the next generation checker is based on datalog...

Where can I learn more about this?

[Rusky]

It's called "polonius": https://github.com/rust-lang/polonius

There are some posts on Niko Matsakis' blog, starting with this one: https://smallcultfollowing.com/babysteps/blog/2018/04/27/an-...

More recently a really good talk, with slides here: https://nikomatsakis.github.io/rust-belt-rust-2019/

[littlestymaar]

Niko's (Rust current lead) blob[1] talks about it among many other Rust things. I'm on mobile atm, so I can't give you exact links, but you should find what you're looking for.

[1]: http://smallcultfollowing.com/babysteps/