type inference

What Is Type Inference In ML? A particularly pleasant feature of ML is that it allows you to omit this type information whenever it can be determined from context. This process is known as type inference since the compiler is inferring the missing type information based on contextual information. What is type checking inference? Type