run-time type checking

1. REDIRECT Type_system#Dynamic_type_checking_and_runtime_type_information {{Redirect category shell|

{{R to section}}

}}