I really really really want this PR to land in Rust. Guaranteeing Clippy works is one of the things I hope will be done this year, together with async/await.https://github.com/rust-lang/rust/pull/51122 …
-
Show this thread
-
Just kidding. I'm excited about lots of things coming down the pipeline. Learned about why https://github.com/rust-lang-nursery/chalk … is important yesterday. The plan is to use Prolog / Datalog to figure out Rust's lifetimes, which should make the implementation both easier & more effective.
4 replies 1 retweet 7 likesShow this thread -
Chalk is super interesting. Makes me wonder what we can use it for. Here's a problem I haven't seen a good solution for: "If you have a large system where every piece can send & receive messages, how can you ensure it is acyclic? (e.g. no infinite loops)" Prolog is interesting
2 replies 0 retweets 3 likesShow this thread -
Oh cool, found a post outlining how the different bits of rustc are going to be split up. Nice!https://internals.rust-lang.org/t/moving-bits-of-rustc-into-crates/7607 …
1 reply 1 retweet 1 likeShow this thread
Nice. @mafintosh linked me to a Monty Python prolog introduction. Think it's starting to click for me. Woot!
https://github.com/Risto-Stevcev/prolog-monty-python/blob/master/monty-python.pl …
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.