Aspect of some programming languages where variables aren't restricted to holding a single type and/or functions don't have type restrictions on arguments allowing use of any type with variables or arguments. The opposite of static types.