Wpis z mikrobloga

@zgubiles_sie_jelonku: przecież void może być traktowany jak nadtyp każdego typu. Każdą wartość każdego typu można trywialnie rzutować na void przez zwyczajne zapomnienie wartości, a funkcje są kowariantne względem zwracanego typu (i awariantne względem parametrów).