CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search Type systems Type safety Dynamic type-checking Static type-checking Inferred vs. Manifest Nominal vs. Structural Dependent typing Duck typing Gradual typing Flow-sensitive typing Latent typing Substructural typing Uniqueness typing Strong and weak typing v t e 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. [1] [2] 1 Different substructural type systems 1.1 Linear type systems 1.2 Affine type systems 1.3 Relevant type system 1.4 Ordered type syst...