What is type inference?

Type inference refers to the automatic detection of the data type of an expression in a programming language. It is a feature present in some strongly statically typed languages. It is often characteristic of functional programming languages in general. read more

Type inference is when a program analyses your program to work out the types of some or all of the variables or expressions. Usually it is the compiler for a strongly typed language that does this to work out the types of variables whose types were not declared. read more

As explained in more detail in the welcome message, we discuss type inference, ML's module system, and the fundamental idea in computing of two computations being equivalent. There is no programming assignment -- instead there is an exam covering all of Part A. read more