Einheitstyp

MitEinheitstyp(englischunit type) bezeichnet man in derTyptheorieundInformatikdenjenigenTyp,der lediglich einen einzigenWertbesitzt.

Die Bezeichnungen des Typs reichen je nach Anwendungsgebiet von1(Kategorientheorie) über()(Haskell) bisUnit(z. B.Scala) undvoid(Cund Abkömmlinge; hier ist die Entsprechung jedoch nicht vollständig, davoidnicht überall dort verwendet werden kann, wo ein Typ erforderlich ist, und weilLiteralefehlen).

Da es lediglich einen Wert gibt, trägt dieser keine Information mit sich. Falls es notwendig ist, den Wert zu benennen, geschieht dies oft als 0-Tupel,(),oder mit einem nicht anderweitig benutzten Symbol wie$\star$.

Literatur

• Benjamin C. Pierce:Types and Programming Languages.MIT Press, Cambridge MA u. a. 2002,ISBN 0-262-16209-1.