Provider di tipi
Un provider di tipo F# è un componente che fornisce tipi, proprietà e metodi da utilizzare in un programma.I provider di tipi sono una parte significativa per il supporto di F# 3.0, per una programmazione ricca di informazioni.La chiave per la programmazione ricca d’informazioni è eliminare le barriere per lavorare con le diverse risorse trovate in Internet e negli ambienti aziendali moderni.Una barriera significativa per includere una risorsa d'informazioni in un programma è la necessità di rappresentare tali informazioni come tipi, proprietà e metodi da utilizzare in un ambiente di un linguaggio di programmazione.La scrittura di questi tipi manualmente richiede molto tempo e difficoltà da mantenere.Un'alternativa comune prevede l'utilizzo di un generatore di codice per aggiungere file al progetto; tuttavia, i tipi convenzionali per la generazione di codice non si adattano alle modalità esplorative di programmazione supportate da F#, perché il codice generato deve essere sostituito ogni qualvolta che una referenza al servizio viene modificata.
I tipi forniti dal provider di F# sono in genere basati su origini d’informazioni esterne.Ad esempio, un tipo di provider di F# per SQL fornirà tipi, proprietà e metodi che sono necessari per lavorare direttamente sulle tabelle di ogni database SQL al quale si vuole accedere.Analogamente, un tipo di provider per i servizi web WSDL fornirà i tipi, proprietà e metodi che necessitano di utilizzare direttamente con un servizio web WSDL.
L'insieme di tipi, proprietà e metodi forniti da un provider di tipo di F#, dipendono da i parametri dati nel codice del programma.Ad esempio, un provider può fornire tipi diversi secondo una stringa di connessione o un servizio URL.In questo modo, lo spazio d’informazioni mediante la stringa di connessione o un URL è direttamente integrato nel programma.Un provider di tipo può inoltre garantire che i gruppi di tipi siano espandibili solamente su richiesta, ovvero vengono espansi se i tipi sono effettivamente riferiti ad un programma.Questo consente di utilizzare l'integrazione diretta, su richiesta d'integrazione di spazi di informazioni su larga scala fortemente tipizzati, come i mercati online di dati.
F# contiene diversi provider di tipi incorporati comunemente per servizi dati Internet e di azienda.Questi tipi di provider forniscono un'accesso semplice e normale a database relazionali SQL, OData basati sulla rete e servizi WSDL e supportano l'utilizzo di query LINQ in F# rispetto a dati di origine.
Dove necessario, è possibile creare tipi di provider personalizzati o far riferimento a tipi di provider creati da altri.Ad esempio, si supponga che l'organizzazione abbia un servizio dati che fornisce, un grande e crescente numero d'identificativi per un insieme di dati, ciascuno con il suo schema stabile di dati.È possibile scegliere di creare un tipo di provider che legge gli schemi e elenca gli ultimi insiemi di dati disponibili al programmatore, in una modalità fortemente tipizzata.
Argomenti correlati
Titolo |
Descrizione |
|---|---|
Procedura dettagliata: accesso a un database SQL tramite provider di tipi (F#) |
Viene illustrato come utilizzare il tipo di provider Connessione Dati SQL, per accedere alle tabelle e alle procedure archiviate in un database SQL, in base a una stringa di connessione per un collegamento diretto a un database.L'accesso utilizza un mapping LINQ to SQL. |
Procedura dettagliata: accesso a un database SQL tramite entità e provider di tipi (F#) |
Viene illustrato come utilizzare il tipo di provider Connessione a Entità SQL, per accedere alle tabelle e alle procedure archiviate in un database SQL, in base a una stringa di connessione per un collegamento diretto a un database.L'accesso utilizza un mapping LINQ to Entities.Questo metodo può essere utilizzato con qualsiasi database ma nell'esempio viene illustrato SQL Server. |
Procedura dettagliata: accesso a un servizio OData tramite provider di tipi (F#) |
Viene illustrato come utilizzare il tipo di provider Servizio OData, per accedere a un servizio OData in una modalità fortemente tipizzata in base a un servizio URL. |
Procedura dettagliata: accesso a un servizio Web tramite provider di tipi (F#) |
Viene illustrato come utilizzare il tipo di provider Servizio Wsdl, per accedere a un servizio web WSDL in una modalità fortemente tipizzata in base a un servizio URL. |
Procedura dettagliata: generazione di tipi F# da un file DBML (F#) |
Viene illustrato come utilizzare il provider Tipo di File Dbml, per accedere alle tabelle e alle procedure archiviate in un database SQL, in base a un file DBML che fornisce una specifica dello schema del database Linq to SQL. |
Procedura dettagliata: generazione di tipi F# da un file di schema EDMX (F#) |
Viene illustrato come utilizzare il provider Tipo di File Edmx, per accedere alle tabelle e alle procedure archiviate in un database SQL, in base a un file EDMX che fornisce una specifica dello schema Entity Framework. |
Vengono fornite le informazioni per la scrittura personalizza di tipi di provider. |
|
Vengono fornite informazioni sulla sicurezza quando si sviluppano tipi di provider. |
|
Vengono fornite le informazioni sui problemi comuni che possono verificarsi quando si utilizzano i tipi di provider e includono i suggerimenti per le soluzioni. |