Is there such a thing as a statically typed language? CPU opcodes don't type-check their parameters.