Compartilhar via


Provedores de tipo

Um provedor de tipo de F# é um componente que fornece tipos, propriedades e métodos para uso em seu programa.Provedores de tipo são uma parte significativa do suporte de F# 3.0 para programação rica de informações.A chave para programação rica de informações é eliminar as barreiras para trabalhar com várias fontes de informações encontradas na Internet e em ambientes empresariais modernos.Uma barreira significativa para incluir uma fonte de informações em um programa é a necessidade de representar essas informações como tipos, propriedades e métodos para uso em um ambiente da linguagem de programação.Escrever esses tipos manualmente é muito demorado e difícil de ser mantido.Uma alternativa comum é usar um gerador de código que adicione arquivos para seu projeto; no entanto, os tipos convencionais de geração de código não se integram bem nos modos exploratórios de programação suportados por F# porque o código gerado deve ser substituído a cada vez que uma referência de serviço é definido.

Os tipos fornecidos pelos provedores de tipo de F# geralmente são baseados em fontes de informações externas.Por exemplo, um provedor de tipo de F# para SQL fornecerá os tipos, as propriedades e os métodos com os quais você precise trabalhar diretamente com as tabelas de qualquer banco de dados SQL ao qual você tenha acesso.Da mesma forma, um provedor de tipo para serviços de WSDL da Web fornecerá os tipos, as propriedades e os métodos com os quais você precise trabalhar diretamente com qualquer serviço de WSDL da Web.

O conjunto de tipos, propriedades e métodos fornecidos por um provedor de tipo de F# pode depender de parâmetros dados no código de programa.Por exemplo, um provedor de tipo pode fornecer tipos diferentes dependendo de uma cadeia de conexão ou de uma URL de serviço.Dessa forma, o espaço de informações disponível por meio de uma cadeia de conexão ou URL é integrado diretamente em seu programa.Um provedor de tipo também pode garantir que os grupos de tipos sejam expandidos somente sob demanda; isto é, são expandidos se os tipos são realmente referenciados pelo seu programa.Isso permite a integração direta e sob demanda de espaços de informações em grande escala como mercados on-line de dados de uma forma fortemente tipada.

O F# 3.0 contém vários provedores de tipo internos para a Internet e serviços de dados corporativos comumente usados.Esses provedores de tipo fornecem acesso simples e normal a bancos de dados SQL relacionais e a serviços de OData e WSDL que são baseados na rede e suportam o uso de consultas de LINQ de F# contra essas fontes de dados.

Se necessário, você pode criar seus próprios provedores de tipo personalizados, ou referenciar os provedores de tipo que foram criados por outro.Por exemplo, suponha que sua organização tenha um serviço de dados que fornece um grande e crescente número de conjuntos de dados nomeados, cada um com seu próprio esquema estável de dados.Você pode escolher criar um provedor de tipo que leia os esquemas e apresente os conjuntos de dados mais recentemente disponíveis para o programador de uma maneira fortemente tipada.

Tópicos relacionados

Nome

Descrição

passo a passo: Acessando um banco de dados SQL usando provedores de tipo () F#

Explica como usar o provedor do tipo de SqlDataConnection para acessar as tabelas e procedimentos armazenados de um banco de dados SQL com base em uma cadeia de conexão para uma conexão direta a um banco de dados.O acesso usa um mapeamento LINQ para SQL.

Passo a passo: Acessando um banco de dados SQL por meio de provedores de tipo e entidades (F#)

Explica como usar o provedor do tipo de SqlEntityConnection para acessar as tabelas e procedimentos armazenados de um banco de dados SQL, com base em uma cadeia de caracteres de conexão para uma conexão direta a um banco de dados.O acesso usa um mapeamento LINQ para as entidades.Este método funciona com qualquer banco de dados mas o exemplo é demonstrado com SQL Server.

Passo a passo: Acessando um serviço de OData usando o provedores de tipo (F#)

Explica como usar o provedor de tipo do ODataService para acessar um serviço de OData de uma maneira fortemente tipada com base em uma URL do serviço.

Passo a passo: Acessando um serviço da Web usando provedores de tipo (F#)

Explica como usar o provedor de tipo do WsdlService para acessar um serviço da Web WSDL de uma maneira fortemente tipada com base em um URL do serviço.

Passo a passo: Gerar F# tipos de um arquivo DBML (F#)

Explica como usar o provedor do tipo de DbmlFile para acessar as tabelas e procedimentos armazenados de um SQLdatabase, com base em um arquivo de DBML que fornece um Linq para a especificação do esquema do banco de dados SQL.

Passo a passo: Gerar F# tipos de um arquivo de esquema edmx para (F#)

Explica como usar o provedor do tipo de EdmxFile para acessar as tabelas e procedimentos armazenados de um banco de dados SQL, com base em um arquivo de EDMX que fornece uma especificação do esquema de entity framework.

Tutorial: Como criar um provedor de tipo (F#)

Fornece informações sobre escrever seus próprios provedores personalizados de tipo.

Segurança do provedor de tipo

Fornece informações sobre considerações de segurança ao se desenvolver provedores de tipo.

Provedores de tipo de solução de problemas

Fornece informações sobre os problemas comuns que podem ocorrer ao trabalhar com provedores de tipo e incluem sugestões para soluções.

Consulte também

Conceitos

O que há de novo para F# visual no Visual Studio 2012

Outros recursos

Referência de linguagem do F#

F# Visual