Any of them which are still strongly typed. Just because a language doesn't check for type errors before runtime doesn't mean it won't check at all