So hey if anyone tells you Rust will literally prevent all your bugs, please point them at this tweet/commit https://github.com/steveklabnik/semver/commit/b1479cf87f9ddba235b58b577bc98b5bf1638c8d …
-
-
Replying to @steveklabnik
"If it compiles, it works" is not a literal slogan.
4 replies 1 retweet 9 likes -
Replying to @steveklabnik
@steveklabnik aye. edwin brady of idris has a shirt “if it type checks it works!” dependent types
obviously suffers from similar issues1 reply 0 retweets 1 like -
Replying to @dtcb
@dtcb@steveklabnik the shirt that I've seen says "it type checks! ship it!", and I'm quite sure@edwinbrady means it tongue in cheek3 replies 0 retweets 1 like -
Replying to @d_christiansen
@d_christiansen@dtcb@steveklabnik Indeed. I hope nobody thinks I really believe that. I have a terrible sense of humour. Sorry :).2 replies 0 retweets 5 likes -
Replying to @edwinbrady
@edwinbrady@dtcb@steveklabnik I think it's funny1 reply 0 retweets 3 likes -
Replying to @d_christiansen
@edwinbrady@dtcb@steveklabnik or was that one of those English sorries that means "seriously?"?1 reply 0 retweets 0 likes
@d_christiansen it takes more than one tweet to explain exactly what an Englishman means by "sorry". But I did just mean it's a bad joke!
-
-
Replying to @edwinbrady
Lars Hupel Retweeted
@edwinbrady@d_christiansen cf https://twitter.com/larsr_h/status/672514409596641280 … & https://twitter.com/fommil/status/672541174117322752 …
Lars Hupel added,
This Tweet is unavailable.0 replies 0 retweets 1 likeThanks. 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.