Type inhabitation
= Type inhabitation
{wiki=Type_inhabitation}
Type inhabitation is a concept primarily used in the context of type theory, programming languages, and type systems. It generally refers to the principle that a type can "inhabit" or can be represented by certain values or constructs. In other words, if a type is defined in a programming language, any expression or value of that type can be considered as "inhabiting" that type.