type inference

annotation automatic binary bit code computer data deduction illustration inference information language programming reconstruction render tech technology type