Ultimately everything ends up as machine code, which is untyped.