Riferimento per parole chiave (F#)
In questo argomento sono inclusi collegamenti a informazioni su tutte le parole chiave del linguaggio F#.
Tabella delle parole chiave F#
Nella tabella seguente sono illustrate tutte le parole chiave F# in ordine alfabetico, insieme a brevi descrizioni e collegamenti ad argomenti rilevanti in cui sono disponibili ulteriori informazioni.
Parola chiave |
Link |
Descrizione |
---|---|---|
abstract |
Indica un metodo che non dispone di implementazione nel tipo in cui viene dichiarato o che è virtuale e dispone di un'implementazione predefinita. |
|
and |
Utilizzata in associazioni ricorsive reciproche, dichiarazioni di proprietà e vincoli multipli nei parametri generici. |
|
as |
Utilizzata per assegnare all'oggetto classe corrente un nome di oggetto. Utilizzata inoltre per assegnare un nome a un intero modello nell'ambito della corrispondenza dei modelli. |
|
assert |
Utilizzata per verificare il codice durante l'esecuzione del debug. |
|
base |
Utilizzata come nome dell'oggetto classe di base. |
|
begin |
Nella sintassi dettagliata indica l'inizio di un blocco di codice. |
|
class |
Nella sintassi dettagliata indica l'inizio di una definizione di classe. |
|
default |
Indica un'implementazione di un metodo astratto. Utilizzata insieme a una dichiarazione di metodo astratto per creare un metodo virtuale. |
|
delegate |
Viene utilizzata per dichiarare un delegato. |
|
do |
Cicli: espressione for...to (F#) |
Utilizzata in costrutti di ciclo per eseguire codice imperativo. |
done |
Nella sintassi dettagliata indica la fine di un blocco di codice in un'espressione di ciclo. |
|
downcast |
Utilizzata per eseguire la conversione in un tipo che si trova in una posizione più bassa nella catena di ereditarietà. |
|
downto |
Utilizzata in un'espressione for per il conteggio in ordine inverso. |
|
elif |
Utilizzata nella creazione di un ramo condizionale. Forma abbreviata di else if. |
|
else |
Utilizzata nella creazione di un ramo condizionale. |
|
end |
Nelle definizioni dei tipi e nelle estensioni dei tipi indica la fine di una sezione di definizioni dei membri. Nella sintassi dettagliata viene utilizzata per specificare la fine di un blocco di codice che inizia con la parola chiave begin. |
|
exception |
Utilizzata per dichiarare un tipo di eccezione. |
|
extern |
Indica che un elemento del programma dichiarato è definito in un altro elemento binario o assembly. |
|
false |
Utilizzata come valore letterale booleano. |
|
finally |
Utilizzata insieme a try per introdurre un blocco di codice eseguito indipendentemente dal fatto che si verifichi un'eccezione. |
|
for |
Utilizzata in costrutti di ciclo. |
|
fun |
Utilizzata nelle espressioni lambda, anche note come funzioni anonime. |
|
function |
Utilizzata come alternativa più breve alla parola chiave fun e a un'espressione match in un'espressione lambda con corrispondenza dei modelli in un singolo argomento. |
|
global |
Utilizzata per fare riferimento allo spazio dei nomi .NET di primo livello. |
|
if |
Utilizzata nei costrutti di creazione di rami condizionali. |
|
in |
Utilizzata per le espressioni di sequenza e, nella sintassi dettagliata, per separare le espressioni dalle associazioni. |
|
inherit |
Utilizzata per specificare una classe di base o un'interfaccia di base. |
|
inline |
Utilizzata per indicare una funzione che deve essere integrata direttamente nel codice del chiamante. |
|
interface |
Utilizzata per dichiarare e implementare interfacce. |
|
internal |
Utilizzata per specificare che un membro è visibile all'interno di un assembly ma non al suo esterno. |
|
lazy |
Utilizzata per specificare un calcolo che deve essere eseguito solo quando è necessario un risultato. |
|
let |
Utilizzata per associare un nome a un valore o a una funzione. |
|
let! |
Utilizzato nei flussi di lavoro asincroni per associare un nome al risultato di un calcolo asincrono, o, in altre espressioni di calcolo, utilizzata per associare un nome a un risultato, che corrisponde al tipo di calcolo. |
|
match |
Utilizzata per creare un ramo confrontando un valore con un modello. |
|
member |
Utilizzata per dichiarare una proprietà o un metodo in un tipo di oggetto. |
|
module |
Utilizzata per associare un nome a un gruppo di valori, funzioni e tipi correlati, per separare il gruppo in modo logico dal resto del codice. |
|
mutable |
Utilizzata per dichiarare una variabile, ovvero un valore che può essere modificato. |
|
namespace |
Utilizzata per associare un nome a un gruppo di moduli e tipi correlati, per separare il gruppo in modo logico dal resto del codice. |
|
new |
Utilizzata per dichiarare, definire o richiamare un costruttore che crea o che è in grado di creare un oggetto. Utilizzata anche nei vincoli di parametri generici per indicare che un tipo deve disporre di un determinato costruttore. |
|
not |
Non è una vera e propria parola chiave. In combinazione con not struct viene tuttavia utilizzata come vincolo di parametro generico. |
|
null |
Indica l'assenza di un oggetto. Utilizzata anche nei vincoli di parametri generici. |
|
of |
Utilizzata nelle unioni discriminate per indicare il tipo di categorie di valori, nonché nelle dichiarazioni di delegati ed eccezioni. |
|
open |
Utilizzata per rendere disponibile il contenuto di uno spazio dei nomi o di un modulo senza qualificazione. |
|
or |
Utilizzata con le condizioni booleane come operatore or booleano. Equivalente a ||. Utilizzata anche nei vincoli di membro. |
|
override |
Utilizzata per implementare una versione di un metodo astratto o virtuale diversa dalla versione di base. |
|
private |
Limita l'accesso a un membro al codice nello stesso tipo o modulo. |
|
public |
Consente l'accesso a un membro dall'esterno del tipo. |
|
rec |
Utilizzata per indicare che una funzione è ricorsiva. |
|
return |
Utilizzata per indicare un valore da fornire come risultato di un'espressione di calcolo. |
|
return! |
Utilizzata per indicare un'espressione di calcolo che, una volta valutata, produce il risultato dell'espressione di calcolo contenitore. |
|
select |
Utilizzato nelle espressioni di query per specificare i campi o colonne per disegnare. Si noti che questa è una parola chiave contestuale, pertanto non è in realtà una parola riservata e opera esclusivamente come una parola chiave nel contesto appropriato. |
|
static |
Utilizzata per indicare un metodo o una proprietà che è possibile chiamare senza un'istanza di un tipo o un membro valore condiviso tra tutte le istanze di un tipo. |
|
struct |
Utilizzata per dichiarare un tipo di struttura. Utilizzata anche nei vincoli di parametri generici. Utilizzata per garantire la compatibilità con OCaml nelle definizioni di moduli. |
|
then |
Utilizzata nelle espressioni condizionali. Utilizzata inoltre per ottenere effetti collaterali dopo la costruzione di un oggetto. |
|
to |
Utilizzata nei cicli for per indicare un intervallo. |
|
true |
Utilizzata come valore letterale booleano. |
|
try |
Utilizzata per introdurre un blocco di codice che potrebbe generare un'eccezione. Utilizzata insieme a with o finally. |
|
type |
Utilizzata per dichiarare una classe, un record, una struttura, un'unione discriminata, un tipo di enumerazione, un'unità di misura o un'abbreviazione di un tipo. |
|
upcast |
Utilizzata per eseguire la conversione in un tipo che si trova in una posizione più alta nella catena di ereditarietà. |
|
use |
Utilizzata al posto di let per valori che richiedono la chiamata di Dispose per liberare risorse. |
|
use! |
Utilizzato al posto di let! nei flussi di lavoro asincroni e altre espressioni di calcolo dei valori che richiedono Dispose per essere chiamato per liberare risorse. |
|
val |
Utilizzata in una firma per indicare un valore o in un tipo per dichiarare un membro, in situazioni limitate. |
|
void |
Indica il tipo void .NET. Utilizzata in caso di interazione con altri linguaggi .NET. |
|
when |
Utilizzata per le condizioni booleane (guard when) nelle corrispondenze dei modelli e per introdurre una clausola di vincolo per un parametro di tipo generico. |
|
while |
Introduce un costrutto di ciclo. |
|
with |
Utilizzata insieme alla parola chiave match nelle espressioni di corrispondenza dei modelli. Utilizzata anche nelle espressioni degli oggetti, nelle espressioni di copia di record e nelle estensioni dei tipi per introdurre definizioni di membro e gestori di eccezioni. |
|
yield |
Utilizzata in un'espressione di sequenza per produrre un valore per una sequenza. |
|
yield! |
Utilizzata in un'espressione di calcolo per aggiungere il risultato di un'espressione di calcolo specificato a una raccolta di risultati per l'espressione di calcolo contenitore. |
I token seguenti sono inoltre riservati in F# perché rappresentano parole chiave del linguaggio OCaml:
asr |
land |
lor |
lsl |
lsr |
lxor |
mod |
sig |
Se si utilizza l'opzione del compilatore --mlcompatibility, queste parole chiave possono essere utilizzate come identificatori.
I token seguenti sono riservati come parole chiave per l'espansione futura del linguaggio F#:
atomic |
break |
checked |
component |
const |
constraint |
constructor |
continue |
eager |
event |
external |
fixed |
functor |
include |
method |
mixin |
object |
parallel |
process |
protected |
pure |
sealed |
tailcall |
trait |
virtual |
volatile |
Vedere anche
Riferimenti
Riferimenti per simboli e operatori (F#)