Ühiktüüp
Ühiktüüp on tüübiteoorias tüüp, millel saab olla ainult üks väärtus (ning seega ei saa see kanda informatsiooni). Kandja (ühiktüübiga seotud hulk) saab olla mistahes ühe elemendiga hulk. Seda laadi hulkade vahel eksisteerib isomorfism ning seetõttu räägitakse ühiktüübist kui tüübist, ning selle väärtuse üksikasju ei peeta tähtsaks. Ühiktüüpi saab lugeda ka 0-ennikuks (või 0-järjendiks). Ühiktüüp on tüüpide ja tüübitud funktsioonide kategooria lõppobjekt. Seda ei tohi segamini ajada tühja tüübiga, mis ei luba ühtegi väärtust ning on selle kategooria algusobjekt. Sarnaselt on tõeväärtus (ehk Boolean) tüüp kahe väärtusega. Ühiktüüp on saadaval enamikes funktsionaalsetes programmeerimiskeeltes. Tüüp void on kasutusel paljudes üldlevinud programmeerimiskeeltes, muuhulgas C, C++ ja Java keeltes, aga kuna selle kandjahulk on tühi, on sellel tüübil teatud piirangud.