Note that despite the name, in all of these situations, the void type serves as a unit type, not as a zero or bottom type (which is sometimes confusingly called the "void type"), even though unlike a real unit type which is a singleton, the void type lacks a way to represent its value and the language does not provide any way to declare an object or represent a value with type void.
Všimněte si, že bez ohledu na jméno, ve všech těchto situacích slouží typ void jako jednotkový typ a ne jako nula nebo spodní typ (který je někdy poněkud matoucím způsobem také nazýván jako „void typ“), i když na rozdíl od skutečného typu jednotky, což je singleton, postrádá typ void možnost, aby zastupoval svou hodnotu a jazyk neposkytuje žádný způsob, jak deklarovat objekt nebo představovat hodnotu typu void.