Linear type system

A linear type system is a way of checking if a program is correct or not. In a linear type system, every "variable" (a piece of information that a computer program can work with) can have only one value at a time. So if a program has a "variable" that can be used in more than one part of the program, the computer will not be able to tell which value it should use. If a program is written using a linear type system, the computer can check the program and will tell you if there are any problems with it.