[pcwalton]

OK, but you didn't specify a "well defined purpose". So what you said is obviously your opinion.

I find true type inference to be very helpful for readability. For example, you can write "let mut x = None;" where writing a type would be just noise.