Mit Einheitstyp (engl. unit type) bezeichnet man in der Typtheorie und Informatik denjenigen Typ, der lediglich einen einzigen Wert besitzt. Die Bezeichnungen des Typs reichen je nach Anwendungsgebiet von 1 (Kategorientheorie) über () (Haskell) bis Unit (z.B. Scala) und void (C und Abkömmlinge). 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 . Bearbeiten Literatur Benjamin C. Pierce: Types and Programming Languages, S. 118–119, MIT Press 2002, ISBN 0-262-16209-1