"Rust is mostly safety" by @graydon_pub: http://graydon2.dreamwidth.org/247406.html . I very much agree with this.
-
-
Replying to @BRIAN_____
IMO Rust needs to double down on safety, formally define the language, and add ergonomic support for proving program correctness.
1 reply 2 retweets 7 likes -
Replying to @BRIAN_____
(they could start by getting to "I-unsound Zero")
1 reply 0 retweets 2 likes
Replying to @glaebhoerl
Let's make sure that at least *that* gets on the 2018 roadmap!
7:47 AM - 29 Dec 2016
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.