# Types

* The _concept of types_ was conceived as a way to avoid set-theoretical paradoxes.
* A _type system_ is a formal system in which every term has a property called "type", which defines a term's meaning (and operations that may be performed on it).
* A _data type_ is a collection of values used for computations.
* _Typification_, a process of creating standard (typical) social construction based on standard assumptions
* In model theory, a _type is an object_ that describes how a collection of elements in a mathematical structure might _behave_.
* A _data structure_ is a data organization, management and storage format that enables efficient access and modification of data.
* A data structure is a collection of data, plus relations between the data, plus the applicable operations.
* A data structure is an algebraic structure about data.
* _Typology_ is the study of types or the systematic classification of the types of something according to their common characteristics. Typology is the act of finding, counting and classification facts with the help of eyes, other senses and logic. Typology may refer to:
* Typology in linguistics classifies languages wrt to their structural features
* Typology in psychology models personality types
* Psychological typologies are classes of distinctions between people
* Sociopolitical typology counts 4 types of a political organization
* _Categorization_, one of the most fundamental cognitive abilities, is the activity of recognizing shared features or similarities between the elements of the experience of the world (such as objects, events, or ideas), organizing and classifying experience by associating them to a more abstract group (that is, a category, class, or type),on the basis of their traits, features, similarities or other criteria. Categorization is considered ,
* Etymology: from Middle English type ("symbol, figure, emblem"), from Latin typus, from Ancient Greek τύπος (túpos, "mark, impression, type"), from τύπτω (túptō, "I strike, beat").

## Ref

https://blog.poisson.chat/posts/2021-03-17-what-is-a-type.html

https://en.wikipedia.org/wiki/Type https://en.wikipedia.org/wiki/Data\_type https://en.wikipedia.org/wiki/Data\_structure https://en.wikipedia.org/wiki/Abstract\_data\_type

https://en.wikipedia.org/wiki/Type\_theory https://en.wikipedia.org/wiki/Type\_system https://en.wikipedia.org/wiki/Type\_safety https://en.wikipedia.org/wiki/Kind

https://en.wikipedia.org/wiki/Intuitionistic\_type\_theory

https://en.wikipedia.org/wiki/Categorization https://en.wikipedia.org/wiki/Type-token\_distinction https://en.wikipedia.org/wiki/Typology
