Substructural type system

A substructural type system is a way of understanding how computer programs work and how to stop them from making mistakes. It works by assigning types to things like variables, functions, and objects. These types tell the computer what kind of data they are dealing with. For example, one type of data might be a number, string, or boolean. Then the computer can use these types to ensure that it's using the right kind of data when it makes decisions. By having a set of rules in place, the computer can make sure that everything works correctly.