neophyte/clueless type inference question

SML-esque languages mostly do not require type annotation for function
signitures. Would that be somthing theoretically do-able in the Scala
framework?