Type Inference

The ability for a programming language to infer the type given without requiring a Static Type.

a = 5+4, we assume a is a number.