Niko Matsakis

I finished up managing and serializing a non-trivial data structure in Rust last night; it "worked the first time" (once I got it compiling)

@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