Proveedores de tipo

Un proveedor de tipos de F# es un componente que proporciona tipos, propiedades y métodos para que se usen en el programa.Los proveedores de tipos son una parte significativa de la compatibilidad de F# 3.0 para la programación rica en información.La clave para la programación rica en información es eliminar las barreras para trabajar con distintas fuentes de información que se pueden encontrar en internet y en los entornos empresariales modernos.Una barrera importante para incluir una fuente de información en un programa es la necesidad de representar esa información como tipos, propiedades y métodos para que se usen en un entorno del lenguaje de programación.La escritura de estos tipos de forma manual lleva mucho tiempo y es dificil de mantener.Una alternativa común es utilizar un generador de código que agregue archivos al proyecto; sin embargo, los tipos convencionales de generación de código no se integran bien en los modos exploratorios de programación admitidos por F# puesto que hay que reemplazar el código generado cada vez que se ajuste una referencia de servicio.

Los tipos que proveen los proveedores de tipos de F# normalmente se basan en fuentes de información externas.Por ejemplo, un proveedor de tipo de F# para SQL proporcionará los tipos, propiedades y métodos que se necesiten para trabajar directamente con tablas de cualquier base de datos SQL a la que se tenga acceso.De igual forma, un proveedor de tipos para los servicios web WSDL proporcionará los tipos, propiedades y métodos que se necesiten para trabajar directamente con cualquier servicio web WSDL.

El conjunto de tipos, propiedades y métodos proporcionados por un proveedor de tipos de F# puede depender de los parámetros especificados en el código del programa.Por ejemplo, un proveedor de tipo puede proporcionar diferentes tipos en función de una cadena de conexión o de una dirección URL del servicio.De este modo, el espacio de información disponible se integra directamente en el programa mediante una cadena de conexión o dirección URL.Un proveedor de tipos también puede asegurar de que sólo se expandan grupos de tipos por petición; es decir, que se expanden si realmente el programa hace referencia a los tipos.Esto permite la integración directa, por demanda de espacios de información a gran escala tales como mercados de datos en línea de forma fuertemente tipada.

F# contiene varios proveedores de tipos integrados para servicios de datos en Internet y empresariales que se usan comúnmente.Estos proveedores de tipos proporcionan acceso simple y regular a bases de datos relacionales SQL y a servicios basados en red de tipo OData y WSDL y admiten el uso de consultas LINQ de F# sobre estos orígenes de datos.

En caso de ser necesario, se puede crear sus propios proveedores de tipos personalizados o referenciar proveedores de tipos que hayan sido creados por otros.Por ejemplo, suponga que su organización tiene un servicio de datos que proporciona un número grande y creciente de conjuntos de datos con nombre, cada uno de ellos con su propio esquema de datos estable.Se puede elegir crear un proveedor de tipos que lea los esquemas y muestre los últimos conjuntos de datos disponibles para el programador de una manera fuertemente tipada.

Temas relacionados

Título

Descripción

Tutorial: Obtener acceso a una base de datos SQL mediante proveedores de tipo (F#)

Explica cómo utilizar el proveedor de tipos SqlDataConnection para tener acceso a las tablas y procedimientos almacenados de una base de datos SQL, basándose en una cadena de conexión para una conexión directa a una base de datos.El acceso usa un mapeo de LINQ a SQL.

Tutorial: Obtener acceso a una base de datos SQL mediante proveedores de tipo y entidades (F#)

Explica cómo utilizar el proveedor de tipos SqlEntityConnection para tener acceso a las tablas y procedimientos almacenados de una base de datos SQL, basándose en una cadena de conexión para una conexión directa a una base de datos.El acceso usa un mapeo de LINQ a entidades.Este método funciona con cualquier base de datos, pero el ejemplo mostrado usa una base de datos SQL Server.

Tutorial: Obtener acceso a un servicio OData mediante proveedores de tipo (F#)

Explica cómo utilizar el proveedor de tipos ODataService para tener acceso a un servicio de OData de una manera fuertemente tipada basada en una dirección URL del servicio.

Tutorial: Obtener acceso a un servicio Web mediante proveedores de tipo (F#)

Explica cómo utilizar el proveedor de tipos WsdlService para tener acceso a un servicio web WSDL de una manera fuertemente tipada basada en una dirección URL del servicio.

Tutorial: Generar tipos en F# a partir de un archivo DBML (F#)

Explica cómo utilizar el proveedor de tipos DbmlFile para tener acceso a las tablas y procedimientos almacenados de una base de datos SQL, basados en un archivo de DBML que proporciona una especificación de esquema de base de datos LINQ a SQL.

Tutorial: Generar tipos en F# a partir de un archivo de esquema EDMX (F#)

Explica cómo utilizar el proveedor de tipos EdmxFile para tener acceso a las tablas y a los procedimientos almacenados de una base de datos SQL, basados en un archivo EDMX que proporciona una especificación de esquema de Entity Framework.

Tutorial: Crear un proveedor de tipo (F#)

Proporciona información sobre cómo escribir los propios proveedores de tipos personalizados.

Seguridad del proveedor de tipo

Proporciona información sobre consideraciones de seguridad que se deben tener en cuenta al desarrollar proveedores de tipos.

Solución de problemas en proveedores de tipo

Proporciona información sobre los problemas más comunes que surgen cuando se trabaja con proveedores de tipos e incluye sugerencias para soluciones.

Vea también

Conceptos

Lo nuevo en Team Foundation Build

Otros recursos

Referencia del lenguaje F#

Visual F#