Regarding Scala, I don't think type inference means that you stop thinking about types I didn't mean to imply that it did - quite the opposite in fact (that ev

Regarding Scala, I don't think type inference means that you stop thinking about types I didn't mean to imply that it did - quite the opposite in fact (that even if you didn't write the type, you'd still be encouraged to think about it, because of the compile-time checking).