In computing, type introspection is the ability of a program to examine the type or properties of an object at runtime. Some  programming languages possess this capability.