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.
-
-
Show 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
Show 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 …
Show 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 …Show this thread
End of conversation
New conversation -
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.