a type inference option is available for a computer programming language . the option acts as a switch to specify whether or not type inference is applicable . type inference can be employed in conjunction with late binding or options therefor . in this manner , a computer program can be developed with the convenience of type inference and the flexibility of late binding while still maintaining at a degree of type safety .