Are dynamic languages slower than static languages because, for example, the run-time has to check the type consistently?
All other things being equal, usually, yes.