dynamic typing

type system paradigm in which objects' types are enforced at runtime