title: What does "no global type inference" mean regarding Scala?
body: <p>I have read that Scala's type inference is not global so that is why people must place type annotations on the methods.  (Would this be "local" type inference?)</p>
  
  <p>I only a little understand that the reason is from its object-oriented nature, but clarity eludes me.  Is there an explanation for "global type inference" and why Scala cannot have it that a beginner might understand?</p>