Rustc is getting a Prolog-like query interface for it's type system: http://smallcultfollowing.com/babysteps/blog/2017/05/25/query-structure-in-chalk/ #rust
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!