How a language can work with dynamic types and provide information about a type while the code is executed.