. . . . "Languages with types are effectively not any higher level than C or Assembly" .