Hacker News Reader

> Datafrog was initially developed by Frank McSherry and was later transferred to the rust-lang-nursery organization.

Is its present membership in rust-lang rather than rust-lang-nursery a mistake?

(I find its membership even in rust-lang-nursery mildly surprising; in rust-lang, perplexing.)

It looks like an official borrow checker implementation called Polonius uses it as a dependency, so it makes sense: https://github.com/rust-lang/polonius/blob/981785c101b68ff54...

Note that while Polonius is officially developed by the Rust project, it's still experimental. The goal is to someday ship it as part of rustc, but it still needs work.

Borrow checking is a good fit for datalog. And trait resolution is Prolog, though Rusty's backtracking makes it a worse fit for datalog than typeclasses in Haskell.

Reply on news.ycombinator.com