On Thu, Jun 7, 2012 at 3:52 PM, Graydon Hoare <[email protected]> wrote: > > The return type when used as an expression, maybe. When declared as an item, > I'd like to keep the signatures mandatory. That was a very intentional > choice. Both for keeping inference function-at-a-time (fewer ways to go > wrong, more locality of errors, easier to make parallel) and for keeping the > text reasonably explanatory of the types flowing through functions. I > believe the whole-program-inference systems go a bit too far, make life too > hard for maintenance programmers.
That sounds reasonable to me. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
