We will learn about type inference in Typescript. What Is Type System? A type system is a set of rules that assigns a property called type to the various constructs of a computer program, such as variables, expressions, functions or modules.