Dynamic typing in a statically typed language