3 ms·
> Datafrog was initially developed by Frank McSherry and was later transferred to the rust-lang-nursery organization. Is its present membership in rust-lang ra
by chrismorgan 4y ago
> 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.)
- idmitrievsky 4y agoIt 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/981785c101b68ff54663f34557ad85d5e9478dc7/polonius-engine/Cargo.toml https://github.com/rust-lang/polonius/blob/981785c101b68ff54...
- kibwen 4y agoNote 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.
- Tarean 4y agoBorrow 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.