Dynamic Type Checking In Compiler