Substructural type system

Topic | v1 | created by jjones |

Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as files, locks and memory by keeping track of changes of state that occur and preventing invalid states.


e.g. Linear type system

Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the...

is Type system

In programming languages, a type system is a logical system comprising a set of rules that assigns a...

Edit details Edit relations Attach new author Attach new topic Attach new resource

treated in Linear or Affine Types? : ProgrammingLanguages

Statically managed memory using linear types in a functional language: yay or nay?