As others have said, types don't necessarily exist at runtime. Types allow reasoning about the program source without executing it. Java is more the exception t

As others have said, types don't necessarily exist at runtime. Types allow reasoning about the program source without executing it. Java is more the exception than the rule here; conventionally compiled languages such as C don't usually have types at runtime.