Einheitstyp
Zur Navigation springen
Zur Suche springen
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, davoid
nicht ü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.
Literatur
[Bearbeiten|Quelltext bearbeiten]- Benjamin C. Pierce:Types and Programming Languages.MIT Press, Cambridge MA u. a. 2002,ISBN 0-262-16209-1.