Tipo di unità (F#)
Il tipo unit, indica l'assenza di un valore specifico. Il tipo unit dispone solo di un singolo valore, utilizzato come segnaposto quando non è presente o non è necessario nessun altro valore.
// The value of the unit type.
()
Note
Ogni espressione F# deve restituire un valore. Per le espressioni che non generano un valore di interesse, viene utilizzato il valore di tipo unit. Il tipo unit assomiglia al tipo void nei linguaggi come C# e C++.
Il tipo unit dispone di un singolo valore, indicato dal token ().
Il valore del tipo unit viene spesso utilizzato nella programmazione F# al posto di un valore richiesto dalla sintassi del linguaggio, quando tale valore non è necessario o desiderato. Un esempio potrebbe essere il valore restituito di una funzione printf. Poiché le azioni importanti dell'operazione printf vengono eseguite nella funzione, non è necessario che la funzione restituisca un valore effettivo. Il valore restituito è pertanto di tipo unit.
Alcuni costrutti prevedono un valore unit. Nel caso, ad esempio, di un'associazione do o di codice al livello principale di un modulo, il valore restituito previsto è di tipo unit. Il compilatore genera un avviso quando un'associazione do o il codice al livello principale di un modulo produce un risultato diverso dal valore unit che non viene utilizzato, come illustrato nell'esempio seguente.
let function1 x y = x + y
// The next line results in a compiler warning.
function1 10 20
// Changing the code to one of the following eliminates the warning.
// Use this when you do want the return value.
let result = function1 10 20
// Use this if you are only calling the function for its side effects,
// and do not want the return value.
function1 10 20 |> ignore
Questo avviso è una caratteristica della programmazione funzionale e non viene visualizzato negli altri linguaggi di programmazione .NET. In un programma puramente funzionale, in cui le funzioni non hanno effetti collaterali, il valore restituito finale è l'unico risultato di una chiamata di funzione. Quando pertanto il risultato viene ignorato, potrebbe verificarsi un errore di programmazione. Sebbene F# non sia un linguaggio di programmazione puramente funzionale, è consigliabile attenersi allo stile di programmazione funzionale, quando possibile.