Hacker News new | ask | show | jobs
by throwaway894345 2238 days ago
> And the next generation checker is based on datalog...

Where can I learn more about this?
2 comments
Rusky 2238 days ago
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/

link
littlestymaar 2238 days ago
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/

link