Condividi tramite


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.

Esercitazione: creazione di un provider di tipi (F#)

Vengono fornite le informazioni per la scrittura personalizza di tipi di provider.

Sicurezza dei provider di tipi

Vengono fornite informazioni sulla sicurezza quando si sviluppano tipi di provider.

Risoluzione dei problemi relativi ai provider di tipi

Vengono fornite le informazioni sui problemi comuni che possono verificarsi quando si utilizzano i tipi di provider e includono i suggerimenti per le soluzioni.

Vedere anche

Concetti

processi

Altre risorse

Riferimenti per il linguaggio F#

Visual F#