Comment Re:Safety? (Score 2) 161
Type inference frees one from the boilerplate of, say, Java while maintaining static typing. You still get type safety in compilation.
It's the basis of functional languages such as ocaml and haskell.
Have a read about Damasâ"Hindleyâ"Milner typing.