Przeczytałem ten artykuł MSDN:

Typ jednostki (F #)

... Typ jednostki to typ, który wskazuje na brak określonej wartości; typ jednostki ma tylko jedną wartość, która działa jako symbol zastępczy, gdy żadna inna wartość nie istnieje lub jest potrzebna ... Typ jednostki przypomina typ pustki w językach takich jak C # i C ++ ...

Więc ... W porządku, rozumiem, że typ jednostki jest takim typem, który ma tylko jedną wartość(). Ale mam kilka pytań:

Dlaczego jest potrzebny?Kiedy jest potrzebne?

Nie rozumiem dlaczego nie używać typu void w F #, jak C # i C ++.

Jeśli spojrzę na poniższą tabelę:

Typy pierwotne (F #)

Type   .NET Type    Description  
void   Void         Indicates no type or value.

Widzę, że F # ma typ pustki. Nie rozumiem więc, dlaczego potrzebny jest typ jednostki; wygląda na to, że jest bardzo podobny do pustki.

Przypuszczam, że odnosi się to do paradygmatu języka funkcjonalnego i dlatego jest potrzebny, więc proszę ... wyjaśnij mi więcej na ten temat.