CentralNotice Type system From Wikipedia, the free encyclopedia Jump to: navigation , search This article is about type systems from the point-of-view of computer programming. For a theoretical formulation, see type theory . This article includes a list of references , but its sources remain unclear because it has insufficient inline citations . Please help to improve this article by introducing more precise citations. (October 2010) It has been suggested that Gradual typing be merged into this article. ( Discuss ) Proposed since March 2014. Type systems Type safety Dynamic type-checking Static type-checking Inferred vs. Manifest Nominal vs. Structural Dependent typing Duck typing Latent typing Substructural typing Uniqueness typing Strong and weak typing v t e In programming languages , a type system is a collection of rules that assi...