Riferimento per parole chiave

Questo argomento contiene collegamenti a informazioni su tutte le parole chiave del linguaggio F#.

Tabella delle parole chiave F#

La tabella seguente mostra tutte le parole chiave F# in ordine alfabetico, insieme a brevi descrizioni e collegamenti ad argomenti pertinenti che contengono altre informazioni.

Parola chiave	Collega	Descrizione
abstract	Members Classi astratte	Indica un metodo che non ha implementazioni nel tipo in cui è dichiarato o che è virtuale e ha un'implementazione predefinita.
and	let Associazioni Record Members Vincoli	Usato in associazioni ricorsive e record, nelle dichiarazioni di proprietà e con più vincoli sui parametri generici.
as	Classi Criteri di ricerca	Utilizzato per assegnare all'oggetto classe corrente un nome di oggetto. Usato anche per assegnare un nome a un modello intero all'interno di una corrispondenza del criterio.
assert	Asserzioni	Usato per verificare il codice durante il debug.
base	Classi Ereditarietà	Utilizzato come nome dell'oggetto classe di base.
begin	Sintassi dettagliata	Nella sintassi dettagliata indica l'inizio di un blocco di codice.
class	Classi	Nella sintassi dettagliata indica l'inizio di una definizione di classe.
default	Members	Indica un'implementazione di un metodo astratto; usato insieme a una dichiarazione di metodo astratto per creare un metodo virtuale.
delegate	Delegati	Utilizzato per dichiarare un delegato.
do	Associazioni do Cicli: espressione for...to Cicli: espressione for...in Cicli: espressione while...do	Usato nei costrutti di ciclo o per eseguire codice imperativo.
done	Sintassi dettagliata	Nella sintassi dettagliata indica la fine di un blocco di codice in un'espressione di ciclo.
downcast	Cast e conversioni	Utilizzato per eseguire la conversione in un tipo inferiore nella catena di ereditarietà.
downto	Cicli: espressione for...to	In un'espressione for , utilizzata durante il conteggio inverso.
elif	Espressioni condizionali: if...then...else	Usato nella diramazione condizionale. Forma breve di else if.
else	Espressioni condizionali: if...then...else	Usato nella diramazione condizionale.
end	Struct Unioni discriminate Record Estensioni di tipo Sintassi dettagliata	Nelle definizioni dei tipi e nelle estensioni di tipo indica la fine di una sezione delle definizioni dei membri. Nella sintassi dettagliata, usata per specificare la fine di un blocco di codice che inizia con la begin parola chiave .
exception	Gestione delle eccezioni Tipi di eccezione	Utilizzato per dichiarare un tipo di eccezione.
extern	Funzioni esterne	Indica che un elemento programma dichiarato è definito in un altro assembly o binario.
false	Tipi primitivi	Usato come valore letterale booleano.
finally	Eccezioni: espressione try...finally	Usato insieme try a per introdurre un blocco di codice che viene eseguito indipendentemente dal fatto che si verifichi un'eccezione.
fixed	Fisso	Usato per "aggiungere" un puntatore nello stack per evitare che venga sottoposto a Garbage Collection.
for	Cicli: espressione for...to Espressione Loops: for...in	Usato nei costrutti di ciclo.
fun	Espressioni lambda: parola fun chiave	Usato nelle espressioni lambda, note anche come funzioni anonime.
function	Espressioni match Espressioni lambda: parola chiave fun	Usato come alternativa più breve alla fun parola chiave e a un'espressione match in un'espressione lambda con criteri di ricerca per un singolo argomento.
global	Namespaces (Spazi dei nomi)	Usato per fare riferimento allo spazio dei nomi .NET di primo livello.
if	Espressioni condizionali: if...then...else	Usato nei costrutti di diramazione condizionale.
in	Espressione Loops: for...in Sintassi dettagliata	Usato per le espressioni di sequenza e, nella sintassi dettagliata, per separare le espressioni dalle associazioni.
inherit	Ereditarietà	Utilizzato per specificare una classe di base o un'interfaccia di base.
inline	Funzioni Funzioni inline	Usato per indicare una funzione che deve essere integrata direttamente nel codice del chiamante.
interface	Interfacce	Usato per dichiarare e implementare le interfacce.
internal	Controllo dell’accesso	Consente di specificare che un membro è visibile all'interno di un assembly ma non all'esterno di esso.
lazy	Espressioni lazy	Consente di specificare un'espressione da eseguire solo quando è necessario un risultato.
let	let Associazioni	Utilizzato per associare o associare un nome a un valore o a una funzione.
let!	Espressioni asincrone Espressioni di attività Espressioni di calcolo	Usato nelle espressioni asincrone per associare un nome al risultato di un calcolo asincrono o, in altre espressioni di calcolo, usato per associare un nome a un risultato, che è del tipo di calcolo.
match	Espressioni match	Usato per creare un ramo confrontando un valore con un criterio.
match!	Espressioni di calcolo	Usato per inlineare una chiamata a un'espressione di calcolo e un criterio corrispondono al risultato.
member	Members	Utilizzato per dichiarare una proprietà o un metodo in un tipo di oggetto.
module	moduli	Usato per associare un nome a un gruppo di tipi, valori e funzioni correlati per separarlo logicamente da un altro codice.
mutable	Associazioni let	Usato per dichiarare una variabile, ovvero un valore che può essere modificato.
namespace	Namespaces (Spazi dei nomi)	Usato per associare un nome a un gruppo di tipi e moduli correlati, per separarlo logicamente da un altro codice.
new	Costruttori Vincoli	Utilizzato per dichiarare, definire o richiamare un costruttore che crea o che può creare un oggetto . Usato anche nei vincoli di parametri generici per indicare che un tipo deve avere un determinato costruttore.
not	Riferimenti per simboli e operatori Vincoli	Non in realtà una parola chiave. Tuttavia, not struct in combinazione viene usato come vincolo di parametro generico.
null	Valori Null Vincoli	Indica l'assenza di un oggetto . Usato anche nei vincoli di parametro generici.
of	Unioni discriminate Delegati Tipi di eccezione	Usato nelle unioni discriminate per indicare il tipo di categorie di valori e nelle dichiarazioni di delega ed eccezione.
open	Dichiarazioni di importazione: parola chiave open	Usato per rendere disponibile il contenuto di uno spazio dei nomi o di un modulo senza qualifica.
or	Riferimenti per simboli e operatori Vincoli	Usato con condizioni booleane come operatore booleano or . Equivalente a ||. Usato anche nei vincoli membro.
override	Members	Usato per implementare una versione di un metodo astratto o virtuale diverso dalla versione di base.
private	Controllo dell’accesso	Limita l'accesso a un membro al codice nello stesso tipo o modulo.
public	Controllo dell’accesso	Consente l'accesso a un membro dall'esterno del tipo.
rec	Funzioni	Usato per indicare che una funzione è ricorsiva.
return	Espressioni di calcolo Espressioni asincrone Espressioni di attività	Utilizzato per indicare un valore da fornire come risultato di un'espressione di calcolo.
return!	Espressioni di calcolo Espressioni asincrone Espressioni di attività	Utilizzato per indicare un'espressione di calcolo che, quando valutata, fornisce il risultato dell'espressione di calcolo contenitore.
select	Espressioni di query	Usato nelle espressioni di query per specificare i campi o le colonne da estrarre. Si noti che si tratta di una parola chiave contestuale, il che significa che non è effettivamente una parola riservata e funge solo da parola chiave nel contesto appropriato.
static	Members	Consente di indicare un metodo o una proprietà che può essere chiamata senza un'istanza di un tipo o un membro valore condiviso tra tutte le istanze di un tipo.
struct	Struct Tuple Vincoli	Utilizzato per dichiarare un tipo di struttura. Consente di specificare una tupla di struct. Usato anche nei vincoli di parametro generici. Usato per la compatibilità OCaml nelle definizioni dei moduli.
then	Espressioni condizionali: if...then...else Costruttori	Usato nelle espressioni condizionali. Utilizzato anche per eseguire effetti collaterali dopo la costruzione di oggetti.
to	Cicli: espressione for...to	Utilizzato nei for cicli per indicare un intervallo.
true	Tipi primitivi	Usato come valore letterale booleano.
try	Eccezioni: Il tentativo... con espressione Eccezioni: Il tentativo... finally Expression	Usato per introdurre un blocco di codice che potrebbe generare un'eccezione. Usato insieme a with o finally.
type	Tipi F# Classi Record Struct Enumerazioni Unioni discriminate Abbreviazioni dei tipi Unità di misura	Utilizzato per dichiarare una classe, un record, una struttura, un'unione discriminata, un tipo di enumerazione, un'unità di misura o un'abbreviazione del tipo.
upcast	Cast e conversioni	Utilizzato per eseguire la conversione in un tipo superiore nella catena di ereditarietà.
use	Gestione delle risorse: parola chiave use	Usato invece di let per i valori che devono Dispose essere chiamati per liberare risorse.
use!	Espressioni di calcolo Espressioni asincrone Espressioni di attività	Usato invece di in espressioni asincrone e altre espressioni di let! calcolo per i valori che devono Dispose essere chiamati per liberare risorse.
val	Campi espliciti: parola chiave val Firme Members	Utilizzato in una firma per indicare un valore o in un tipo per dichiarare un membro, in situazioni limitate.
void	Tipi primitivi	Indica il tipo .NET void . Usato durante l'interoperabilità con altri linguaggi .NET.
when	Vincoli	Usato per le condizioni booleane (quando guardie) sulle corrispondenze dei criteri e per introdurre una clausola di vincolo per un parametro di tipo generico.
while	Cicli: espressione while...do	Introduce un costrutto di ciclo.
with	Espressioni match Espressioni di oggetto Copiare e aggiornare espressioni di record Estensioni di tipo Eccezioni: espressione try...with	Usato insieme alla match parola chiave nelle espressioni di ricerca di criteri. Usato anche nelle espressioni oggetto, nelle espressioni di oggetto, nelle espressioni di copia dei record e nelle estensioni dei tipi per introdurre definizioni dei membri e per introdurre gestori eccezioni.
yield	Elenchi, matrici, sequenze	Utilizzato in un'espressione di elenco, matrice o sequenza per produrre un valore per una sequenza. In genere può essere omesso, perché è implicito nella maggior parte delle situazioni.
yield!	Espressioni di calcolo Espressioni asincrone Espressioni di attività	Utilizzato in un'espressione di calcolo per accodare il risultato di una determinata espressione di calcolo a una raccolta di risultati per l'espressione di calcolo contenitore.
const	Provider di tipi	Provider di tipi consente l'uso di const come parola chiave per specificare un valore letterale costante come argomento di parametro di tipo.

I token seguenti sono riservati in F# perché sono parole chiave nel linguaggio OCaml:

• asr
• land
• lor
• lsl
• lsr
• lxor
• mod
• sig

Se si usa l'opzione del --mlcompatibility compilatore, le parole chiave precedenti sono disponibili per l'uso come identificatori.

I token seguenti sono riservati come parole chiave per l'espansione futura di F#:

• break
• checked
• component
• const
• constraint
• continue
• event
• external
• include
• mixin
• parallel
• process
• protected
• pure
• sealed
• tailcall
• trait
• virtual

I token seguenti sono stati riservati come parole chiave, ma sono stati rilasciati in F# 4.1, quindi ora è possibile usarli come identificatori:

Parola chiave	Motivo
method	Usare member per introdurre metodi.
constructor	Usare new per introdurre costruttori.
atomic	Correlato alla dissolvenza per la memoria transazionale circa il 2006. Si tratta ora di un'espressione di calcolo definita dalla libreria.
eager	Non è più necessario; inizialmente è stato progettato per corrispondere let eager a un potenziale let lazy.
object	Non c'è bisogno di riservarlo.
recursive	Usare rec.
functor	Se F# ha aggiunto moduli con parametri, si userà module M(args) = ....
measure	L'attributo [<Measure>] è sufficiente.
volatile	L'attributo [<Volatile>] è sufficiente.

Vedi anche

• Riferimenti per il linguaggio F#
• Riferimenti per simboli e operatori
• Opzioni del compilatore