Dynamic type checking and runtime type information

 动态类型的关键是将动态对象与实际类型信息绑定。

See also: Dynamic programming language and Interpreted language

Dynamic type checking is the process of verifying the type safety of a program at runtime. Implementations of dynamically type-checked languages generally associate each runtime object with a type tag (i.e., a reference to a type) containing its type information. This runtime type information (RTTI) can also be used to implement dynamic dispatch, late binding, downcasting, reflection, and similar features.