@wycats That feeling (which I'm sure is not novel to you) is why I love good type systems. The "just works" of software dev.
-
-
-
@johnbender There are definitely places where#rustlang could infer more (and bend the tradeoff curve even more) but it's still young -
Are there formal semantics/typing rules for
#rustlang floating around? /cc@littlecalculist@wycats@MozResearch@pcwalton@steveklabnik -
@johnbender@wycats@MozResearch@pcwalton@steveklabnik Not up to date. Restarting formalization effort soon -
Great, I look forward to it!
@littlecalculist@wycats@MozResearch@pcwalton@steveklabnik -
@johnbender@littlecalculist@wycats@MozResearch@pcwalton@steveklabnik But see https://github.com/mozilla/rust/blob/master/src/librustc/middle/borrowck/doc.rs … -- semi-formal writeup of type sys
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.