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 …
-
-
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 -
-
-
This is the trait thing, polonius is the lifetime thing!
-
Ahh, think I swapped them around haha. Thanks for clarifying! Super excited for both :D
End of conversation
New conversation -
-
-
Talking of tclquadcode -
@donalfellows have you ever looked at QBE (https://c9x.me/compile/ ) as a lighter weight alternative to LLVM? (MIT license) - 1 more reply
New conversation -
-
-
I’m a prolog fan! We should compile that to wasm!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.