[sklogic]

Compile time reflection have absolutely nothing to do with dynamic typing.

[mattmcknight]

Compile time reflection? Reflection as implemented in most languages allows you to determine the type of an object at runtime.