I'm unsure what the performance implications for using datalog will be for rustc *in general*. But this speedup is looking pretty cool! Yay for cool features that can probably be reasonably performant too! https://github.com/rust-lang-nursery/polonius/pull/36#issuecomment-390393717 …
-
Show this thread
If anyone is wondering: I know next to nothing about Datalog. But it's super interesting to read up on! So yeah, just having a great time learning more :D
5:09 PM - 4 Jun 2018
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.