title: what is a fully type-inferred language? and limitations of such language?
body: <p>As far as I know,any programming language which doesn't require to write type annotations in the source while writing a function or module and if that chunk of code is "type-correct" , compiler will infer the types and compiles the code. is there more to it?</p>
  
  <p>is(are) there a such language(s)? if yes are there any limitations on it's type system?</p>
  
  <p>Update 1:
  Just to be <strong>really</strong> clear , I am asking about a statically typed,fully type-inferred programming language not a dynamically typed programming language.</p>