Riferimenti per il linguaggio F#

  • Articolo

Questa sezione è un riferimento per F#, un linguaggio di programmazione multi paradigma destinato a .NET. F# supporta modelli di programmazione funzionali, orientati agli oggetti e imperativi.

Organizzazione del codice F#

La tabella seguente illustra gli articoli di riferimento relativi all'organizzazione del codice F#.

Titolo Descrizione
Namespaces (Spazi dei nomi) Informazioni sul supporto dello spazio dei nomi in F#. Uno spazio dei nomi consente di organizzare il codice in aree di funzionalità correlate perché consente di collegare un nome a un raggruppamento di elementi di programma.
Moduli Informazioni sui moduli. Un modulo F# è simile a uno spazio dei nomi e può includere anche valori e funzioni. Il codice di raggruppamento nei moduli consente di tenere insieme il codice correlato e consente di evitare conflitti di nome nel programma.
open Dichiarazioni Informazioni sul funzionamento open . Una open dichiarazione specifica un modulo, uno spazio dei nomi o un tipo i cui elementi è possibile fare riferimento senza usare un nome completo.
Firme Informazioni sulle firme e sui file di firma. Un file della firma contiene informazioni sulle firme pubbliche di un set di elementi del programma F#, ad esempio i tipi, gli spazi dei nomi e i moduli. Può essere usato per specificare l'accessibilità di questi elementi del programma.
Controllo dell’accesso Informazioni sul controllo di accesso in F#. Il controllo di accesso significa dichiarare quali client sono in grado di usare determinati elementi del programma, ad esempio tipi, metodi, funzioni e così via.
Documentazione XML Informazioni sul supporto per la generazione di file di documentazione dai commenti dei documenti XML, noti anche come commenti a barre triple. È possibile produrre documentazione dai commenti di codice in F# come in altri linguaggi .NET.

Valori letterali e stringhe

La tabella seguente illustra gli articoli di riferimento che descrivono valori letterali e stringhe in F#.

Titolo Descrizione
Valori letterali Informazioni sulla sintassi per i valori letterali in F# e su come specificare le informazioni sul tipo per i valori letterali F#.
Stringhe Informazioni sulle stringhe in F#. Il tipo string rappresenta un testo non modificabile come sequenza di caratteri Unicode. string è un alias per System.String in .NET.
Stringhe interpolate Informazioni sulle stringhe interpolate, una forma speciale di stringa che consente di incorporare espressioni F# direttamente all'interno di esse.

Valori e funzioni

La tabella seguente illustra gli articoli di riferimento che descrivono i concetti relativi al linguaggio relativi a valori, letassociazioni e funzioni.

Titolo Descrizione
Valori Informazioni sui valori, che sono quantità non modificabili con un tipo specifico; i valori possono essere numeri integrali o a virgola mobile, caratteri o testo, elenchi, sequenze, matrici, tuple, unioni discriminate, record, tipi di classe o valori di funzione.
Funzioni Le funzioni sono l'unità fondamentale di esecuzione di un programma in qualsiasi linguaggio di programmazione. Una funzione F# ha un nome, può avere parametri e accettare argomenti e ha un corpo. F# supporta anche i costrutti di programmazione funzionale, ad esempio l'uso di funzioni come valori, l'uso di funzioni senza nome nelle espressioni, composizione di funzioni per creare nuove funzioni, funzioni sottoposte a currying e la definizione implicita di funzioni attraverso l'applicazione parziale di argomenti di funzioni.
Espressioni di funzione Informazioni su come usare la parola chiave "fun" F# per definire un'espressione lambda, ovvero una funzione anonima.

Cicli e condizionali

La tabella seguente elenca gli articoli che descrivono cicli F# e condizionali.

Titolo Descrizione
Espressioni condizionali: if...then...else Informazioni sull'espressione if...then...else , che esegue rami di codice diversi e restituisce anche un valore diverso a seconda dell'espressione booleana specificata.
Cicli: espressione for...in Informazioni sull'espressione for...in , un costrutto di ciclo usato per scorrere le corrispondenze di un criterio in una raccolta enumerabile, ad esempio un'espressione di intervallo, una sequenza, un elenco, una matrice o un altro costrutto che supporta l'enumerazione.
Cicli: espressione for...to Informazioni sull'espressione, usata per eseguire l'iterazione for...to in un ciclo su un intervallo di valori di una variabile di ciclo.
Cicli: espressione while...do Informazioni sull'espressione , usata per eseguire l'esecuzione while...do iterativa (ciclo) mentre una condizione di test specificata è true.

Criteri di ricerca

La tabella seguente illustra gli articoli di riferimento che descrivono i concetti del linguaggio.

Titolo Descrizione
Criteri Informazioni sui modelli, che sono regole per la trasformazione dei dati di input e vengono usati in F#. È possibile confrontare i dati con un modello, scomporre i dati in parti costitutive o estrarre informazioni dai dati in vari modi.
Espressioni match Informazioni sull'espressione match , che fornisce il controllo di diramazione basato sul confronto di un'espressione con un set di modelli.
Criteri attivi Informazioni sui modelli attivi. I modelli attivi consentono di definire partizioni denominate che suddividono i dati di input. È possibile usare i criteri attivi per decomporre i dati in modo personalizzato per ogni partizione.

Gestione delle eccezioni

La tabella seguente illustra gli articoli di riferimento che descrivono i concetti relativi al linguaggio correlati alla gestione delle eccezioni.

Titolo Descrizione
Gestione delle eccezioni Contiene informazioni sul supporto per la gestione delle eccezioni in F#.
Espressione try...with Informazioni su come usare l'espressione per la try...with gestione delle eccezioni.
Espressione try...finally Informazioni su come l'espressione F# try...finally consente di eseguire codice di pulizia anche se un blocco di codice genera un'eccezione.
Parola use chiave Informazioni sulle parole chiave use e using, che possono controllare l'inizializzazione e il rilascio delle risorse.
Asserzioni Informazioni sull'espressione assert , ovvero una funzionalità di debug che è possibile usare per testare un'espressione. In caso di errore in modalità Debug, un'asserzione genera una finestra di dialogo di errore di sistema.

Tipi e inferenza dei tipi

La tabella seguente illustra gli articoli di riferimento che descrivono il funzionamento dei tipi e dell'inferenza dei tipi in F#.

Titolo Descrizione
Tipi Informazioni sui tipi usati in F# e su come vengono denominati e descritti i tipi F#.
Tipi di base Informazioni sui tipi fondamentali usati in F#. Specifica anche i tipi .NET corrispondenti e i valori minimi e massimi per ogni tipo.
Tipo di unità Informazioni sul unit tipo, ovvero un tipo che indica l'assenza di un valore specifico. Il unit tipo ha solo un singolo valore, che funge da segnaposto quando non esiste alcun altro valore o è necessario.
Abbreviazioni dei tipi Informazioni sulle abbreviazioni dei tipi, che sono nomi alternativi per i tipi.
Inferenza Informazioni sul modo in cui il compilatore F# inferisce i tipi di valori, variabili, parametri e valori restituiti.
Cast e conversioni Informazioni sul supporto per le conversioni dei tipi in F#.
Generics Informazioni sui costrutti generici in F#.
Generalizzazione automatica Informazioni su come F# generalizza automaticamente gli argomenti e i tipi di funzioni in modo che funzionino con più tipi quando possibile.
Vincoli Informazioni sui vincoli applicabili ai parametri di tipo generici per specificare i requisiti per un argomento di tipo in un tipo generico o in una funzione.
Tipi flessibili Informazioni sui tipi flessibili. Un'annotazione di tipo flessibile è un'indicazione che un parametro, una variabile o un valore ha un tipo compatibile con il tipo specificato, in cui la compatibilità è determinata dalla posizione in una gerarchia orientata agli oggetti di classi o interfacce.
Unità di misura Informazioni sulle unità di misura. I valori a virgola mobile in F# possono avere unità di misura associate, che sono in genere usate per indicare lunghezza, volume, massa e così via.
Byref Informazioni sui tipi byref e byref simili in F#, usati per la programmazione a basso livello.

Tuple, elenchi, raccolte, opzioni

La tabella seguente illustra gli articoli di riferimento che descrivono i tipi supportati da F#.

Titolo Descrizione
Tuple Informazioni sulle tuple, che sono raggruppamenti di valori non denominati, ma ordinati di tipi possibilmente diversi.
raccolte Panoramica dei tipi di raccolte funzionali di F#, inclusi i tipi per matrici, elenchi, sequenze (seq), mappe e set.
Elenchi Informazioni sugli elenchi. Un elenco in F# è una serie ordinata e non modificabile di elementi dello stesso tipo.
Opzioni Informazioni sul tipo di opzione. Un'opzione in F# viene usata quando un valore può esistere o meno. Un'opzione ha un tipo sottostante e può contenere un valore di tale tipo o nessun valore.
Matrici Informazioni sulle matrici. Le matrici sono sequenze di dimensioni fisse, in base zero, o modificabili di elementi di dati consecutivi dello stesso tipo.
Sequenze Informazioni sulle sequenze. Una sequenza è una serie logica di elementi dello stesso tipo. I singoli elementi della sequenza vengono calcolati solo se necessario, quindi la rappresentazione può essere minore di un conteggio di elementi letterali indica.
Espressioni di sequenza Informazioni sulle espressioni di sequenza, che consentono di generare sequenze di dati su richiesta.
Celle di riferimento Informazioni sulle celle di riferimento, che sono posizioni di archiviazione che consentono di creare variabili modificabili con semantica di riferimento.

Record e unioni discriminate

La tabella seguente illustra gli articoli di riferimento che descrivono le definizioni dei tipi di unione record e discriminate supportate da F#.

Titolo Descrizione
Record Informazioni sui record. I record rappresentano aggregazioni semplici di valori denominati, facoltativamente con membri.
Record anonimi Informazioni su come costruire e usare record anonimi, una funzionalità del linguaggio che consente di manipolare i dati.
Unioni discriminate Informazioni sulle unioni discriminate, che forniscono supporto per i valori che possono essere una delle varie case denominate, ognuna con valori e tipi possibilmente diversi.
Struct Informazioni sugli struct, che sono tipi di oggetti compatta che possono essere più efficienti di una classe per i tipi con una piccola quantità di dati e un comportamento semplice.
Enumerazioni Le enumerazioni sono tipi con un set definito di valori denominati. È possibile usarle in sostituzione ai valori letterali per rendere il codice più leggibile e gestibile.

Programmazione oggetti

Nella tabella seguente vengono illustrati gli articoli di riferimento che descrivono la programmazione degli oggetti F#.

Titolo Descrizione
Classi Informazioni sulle classi, ovvero tipi che rappresentano oggetti che possono avere proprietà, metodi ed eventi.
Interfacce Informazioni sulle interfacce, che specificano set di membri correlati implementati da altre classi.
Classi astratte Informazioni sulle classi astratte, che sono classi che lasciano alcuni o tutti i membri non implementati, in modo che le implementazioni possano essere fornite dalle classi derivate.
Estensioni di tipo Informazioni sulle estensioni dei tipi, che consentono di aggiungere nuovi membri a un tipo di oggetto definito in precedenza.
Delegati Informazioni sui delegati, che rappresentano una chiamata di funzione come oggetto.
Ereditarietà Informazioni sull'ereditarietà, usata per modellare la relazione "is-a" o la sotto digitazione, nella programmazione orientata agli oggetti.
Members Informazioni sui membri dei tipi di oggetti F#.
Parametri e argomenti Informazioni sul supporto del linguaggio per la definizione dei parametri e il passaggio di argomenti a funzioni, metodi e proprietà. Include informazioni su come passare valori in base al riferimento.
Overload dell'operatore Informazioni su come eseguire l'overload di operatori aritmetici in una classe o in un tipo di record e a livello globale.
Espressioni di oggetto Informazioni sulle espressioni di oggetto, espressioni che creano nuove istanze di un tipo di oggetto anonimo creato in modo dinamico basato su un tipo di base, un'interfaccia o un set di interfacce esistente.

Asincrona, attività e lazy

Nella tabella seguente sono elencati gli argomenti che descrivono espressioni asincrone, attività e lazy F#.

Titolo Descrizione
Espressioni asincrone Informazioni sulle espressioni asincrone, che consentono di scrivere codice asincrono in modo molto vicino al modo in cui si scriverebbe naturalmente codice sincrono.
Espressioni attività Informazioni sulle espressioni di attività, che rappresentano un modo alternativo per scrivere codice asincrono usato durante l'interoperabilità con il codice .NET che utilizza o produce attività .NET.
Espressioni lazy Informazioni sulle espressioni lazy, che sono calcoli che non vengono valutati immediatamente, ma vengono invece valutati quando il risultato è effettivamente necessario.

Espressioni di calcolo e query

Nella tabella seguente sono elencati gli argomenti che descrivono espressioni e query di calcolo F#.

Titolo Descrizione
Espressioni di calcolo Informazioni sulle espressioni di calcolo in F#, che offrono una sintassi pratica per la scrittura di calcoli che possono essere sequenziati e combinati usando costrutti e associazioni del flusso di controllo. Possono essere usati per gestire i dati, il controllo e gli effetti collaterali nei programmi funzionali.
Espressioni di query Informazioni sulle espressioni di query, una funzionalità del linguaggio che implementa LINQ for F# e consente di scrivere query su un'origine dati o una raccolta enumerabile.

Attributi, reflection, virgolette e formattazione testo normale

La tabella seguente elenca gli articoli che descrivono le funzionalità riflettenti di F#, inclusi attributi, virgolette, nameofe formattazione di testo normale.

Titolo Descrizione
Attributes (Attributi) Informazioni su come gli attributi F# consentono l'applicazione dei metadati a un costrutto di programmazione.
nameof Informazioni sull'operatore nameof , una funzionalità di metaprogrammazione che consente di produrre il nome di qualsiasi simbolo nel codice sorgente.
Informazioni sul chiamante Informazioni su come usare gli attributi dell'argomento info chiamante per ottenere informazioni sul chiamante da un metodo.
Identificatori di riga, di file e di percorso di origine Informazioni sugli identificatori __LINE__, __SOURCE_DIRECTORY__e __SOURCE_FILE__, che sono valori predefiniti che consentono di accedere al numero di riga di origine, alla directory e al nome del file nel codice.
Citazioni di codice Informazioni sulle virgolette di codice, una funzionalità del linguaggio che consente di generare e usare espressioni di codice F# a livello di codice.
Formattazione del testo normale Informazioni su come usare sprintf e altre formattazioni di testo normale in applicazioni e script F#.

Provider di tipi

La tabella seguente elenca gli articoli che descrivono i provider di tipi F#.

Titolo Descrizione
Provider di tipi Informazioni sui provider di tipi e collegamenti alle procedure dettagliate sull'uso dei provider di tipi predefiniti per accedere a database e servizi Web.
Creare un provider di tipi Informazioni su come creare provider di tipi F# personalizzati esaminando diversi provider di tipi semplici che illustrano i concetti di base.

Informazioni di riferimento sulle API della libreria di base F#

Informazioni di riferimento sulle API F# Core Library (FSharp.Core) sono le informazioni di riferimento per tutti gli spazi dei nomi, i moduli, i tipi e le funzioni della libreria di base F#.

Tabelle di riferimento

La tabella seguente illustra gli articoli di riferimento che forniscono tabelle di parole chiave, simboli e valori letterali usati come token in F#.

Titolo Descrizione
Riferimento per parole chiave Contiene collegamenti a informazioni su tutte le parole chiave del linguaggio F#.
Riferimenti per simboli e operatori Contiene una tabella di simboli e operatori usati in F#.

Costrutti supportati dal compilatore

La tabella seguente elenca argomenti che descrivono costrutti speciali supportati dal compilatore.

Argomento Descrizione
Opzioni del compilatore Descrive le opzioni della riga di comando per il compilatore F#.
Direttive per il compilatore Vengono descritte le direttive del processore e le direttive del compilatore supportate dal compilatore F#.