Unit type

Unit type

A unit type is a mathematical type that allows only one value (and thus can hold no information).

The carrier (underlying set) associated with a unit type can be any singleton set. There is an isomorphism between any two such sets, so it is customary to talk about "the" unit type and ignore the details of its value. One may also regard the unit type as the type of 0-tuples, i.e. the product of no types.

The unit type is the terminal object in the category of types and typed functions. It should not be confused with the zero or bottom type, which allows "no" values and is the initial object in this category.

Unit type in programming languages

Several computer programming languages provide a unit type to specify the result type of a function with the sole purpose of causing a side effect, and the argument type of a function that does not require arguments. In the functional programming languages Haskell and Clean, the unit type is called () and its only value is also (), reflecting the 0-tuple interpretation. In ML, the type is called unit but the value is written as (). In Common Lisp the type named NULL is a unit type which has one value, namely the symbol NIL. NIL itself is used as the name of the bottom type.

In C, C++, C#, and Java, void expresses the unit type. These languages do not provide any way to declare an object or represent a value with type void. In practice this feature is usually not necessary because all expressions with the unit type have the same value, and explicit values are therefore redundant. However, it may cause problems in generic programming, such as C++ templates, where void must be treated differently from other types.

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • unit type code — A Joint Chiefs of Staff developed and assigned code, consisting of five characters that uniquely identify a “type unit” …   Military dictionary

  • Unit-type press — Секционная печатная машина, печатная машина секционного типа …   Краткий толковый словарь по полиграфии

  • Unit-type rotary — Ротационная печатная машина секционного типа; Ротационная печатная машина секционного …   Краткий толковый словарь по полиграфии

  • Unit — may refer to:In mathematics: * Unit vector, a vector with length equal to 1 * Unit circle, the circle with radius equal to 1, centered at the origin * Unit interval, the interval of all real numbers between 0 and 1 * Imaginary unit, i , whose… …   Wikipedia

  • Type (biology) — Type specimen for Cimbrophlebia brooksi, a fossil scorpion fly. By convention, the red label denotes a type specimen. In biology, a type is one particular specimen (or in some cases a group of specimens) of an organism to which the scientific… …   Wikipedia

  • Unit (album) — Infobox Album | Name = Unit Type = Album Artist = Regurgitator Released = November 1997 Unit October 19, 1998 Re Booted Recorded = The Dirty Room , Brisbane Australia, in 1997 Genre = Pop / Alternative rock Length = 36:17 Unit 50:50 Re Booted… …   Wikipedia

  • type unit — A type of organizational or functional entity established within the Armed Forces and uniquely identified by a five character, alphanumeric code called a unit type code …   Military dictionary

  • Type unite — Type unité Un type unité est un type mathématique avec une seule valeur. L ensemble associé avec le type unité peut être n importe quel ensemble singleton. Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent du type unité et… …   Wikipédia en Français

  • Unit 731 — The Unit 731 complex Location Pingfang Coordinates …   Wikipedia

  • Type 56 assault rifle — Type 56 (top) and AKS 47 Type Assault rifle Place of& …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”