Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
Un'abbreviazione di tipo è un alias o un nome alternativo per un tipo.
Annotazioni
La funzionalità "abbreviazione del tipo" consente di creare nomi alternativi più brevi o più lunghi del nome del tipo originale. È comune abbreviare i nomi dei tipi lunghi o creare nomi più semplici per le applicazioni di tipo con argomenti generici specifici. È possibile usare le abbreviazioni dei tipi per creare nomi più lunghi e più descrittivi che migliorano la leggibilità del codice.
Sintassi
type [accessibility-modifier] type-abbreviation = type-name
Osservazioni:
È possibile usare le abbreviazioni dei tipi per assegnare un nome più significativo a un tipo, per semplificare la lettura del codice. È anche possibile usarli per creare un nome facile da usare per un tipo altrimenti complesso da scrivere. Inoltre, è possibile usare le abbreviazioni dei tipi per semplificare la modifica di un tipo sottostante senza modificare tutto il codice che usa il tipo. Di seguito è riportata un'abbreviazione di tipo semplice.
Per impostazione predefinita, l'accessibilità delle abbreviazioni dei tipi è public.
type SizeType = uint32
Le abbreviazioni dei tipi possono includere parametri generici, come nel codice seguente.
type Transform<'a> = 'a -> 'a
Nel codice precedente è Transform un'abbreviazione di tipo che rappresenta una funzione che accetta un singolo argomento di qualsiasi tipo e che restituisce un singolo valore dello stesso tipo.
Le abbreviazioni dei tipi non vengono mantenute nel codice CIL (Common Intermediate Language). Pertanto, quando si usa un assembly F# da un altro linguaggio .NET, è necessario usare il nome del tipo sottostante per un'abbreviazione del tipo.
Le abbreviazioni dei tipi possono essere usate anche in unità di misura. Per altre informazioni, vedere Unità di misura.
Vedere anche
Collabora con noi su GitHub
L'origine di questo contenuto è disponibile in GitHub, in cui è anche possibile creare ed esaminare i problemi e le richieste pull. Per ulteriori informazioni, vedere la guida per i collaboratori.
