1. A computing device configured to execute dynamically typed programming languages, the computing device comprising: circuitry configured to execute a checked load instruction; and a type check register configured to store a location of an error handler; wherein the checked load instruction is configured to accept at least a source memory location operand, a destination memory location operand, and a type tag operand.