It's all eventually compiled down to machine code, which doesn't have what you or I would call type checking.