Typ pusty
Z Wikipedii
Typ pusty to typ zawierający tylko jedną wartość. Wprowadzenie takiego typu do systemu typów umożliwia pewne rodzaje uogólnień - nie trzeba rozróżniać funkcji, które zwracają wartość, od tych, które jej nie zwracają (czyli zwracają wartość typu pustego), oraz funkcji, które pobierają jakiś argument, od tych, które tego nie robią.
Typ pusty w C, C++, Javie to void. W językach ML - unit. W Pythonie - None.