类型提供程序

F# 类型提供程序是提供用于您的程序类型、属性和方法的组件。 类型提供程序是 F# 3.0 支持丰富信息编程的重要部分。 这些信息资源增强编程的关键是消除屏障与在现代企业环境中找到 Internet 和不同信息源一起使用。 对于将信息源包括到程序中的一个重要关卡是需要将该信息表示为类型、属性和方法,用于一种编程语言环境。 手动写入这些类型既十分费时又难以维护。 常见的替代项是使用将文件添加到项目的代码生成器;但是,代码生成的传统类型为良好地集成到 F# 支持的编程的探索模式中,原因是每次调整服务引用时都必须替换生成的代码。

由 F# 类型提供程序通常基于外部信息源上的类型提供程序。 例如,SQL 的 F# 类型提供程序将提供直接使用您有权访问的任何 SQL 数据库的表所需的类型、属性和方法。 同样,WSDL web 服务的类型提供程序将提供需要处理直接任何 WSDL web 服务的类型、属性和方法。

F# 类型提供方可以依赖程序代码给定的参数提供类型的集合、属性和方法。 例如,类型提供程序可以提供不同的类型,具体取决于连接字符串或服务 URL。 通过这种方式,可用信息空间可通过连接字符串或 URL 直接集成到您的程序。 类型提供程序还可以确保该类型组只按需展开;也就是说,如果类型实际由您的程序引用,则其将展开。 直接允许大型信息空间的按需集成,例如联机数据市场使用强类型的方式。

F# 包含若干个常用的 Internet 和企业数据服务的内置类型提供程序。 这些类型提供程序提供简单和常规访问 SQL 关系数据库和基于网络的 OData 和 WSDL 服务和支持使用 F# LINQ 查询这些数据源。

根据需要,您可以创建自己的自定义类型提供程序,也可以引用由其他创建的类型提供程序。 例如,假定您的组织具有某种数据服务,可提供且越来越多的海量数据集,这些数据集都有其自己的稳定数据架构。 可以选择创建读取架构的类型提供程序并以强类型的方法显示设置为程序员的最新可用的数据。

相关主题

标题

说明

演练:使用类型提供程序访问 SQL 数据库 (F#)

根据到数据库的直接连接的连接字符串,解释如何使用 SqlDataConnection 类型提供程序访问 SQL 数据库的表和存储过程。 访问使用 SQL 映射的 LINQ。

演练:使用类型提供程序和实体访问 SQL 数据库 (F#)

根据到数据库的直接连接的连接字符串,解释如何使用 SqlEntityConnection 类型提供程序访问 SQL 数据库的表和存储过程。 访问使用实体映射的 LINQ。 此方法与任何数据库但示例演示 SQL Server 一起使用。

演练:使用类型提供程序访问 OData 服务 (F#)

解释如何使用 ODataService 类型提供程序基于服务 URL 的访问以强类型的方法访问 OData 服务。

演练:使用类型提供程序访问 Web 服务 (F#)

解释如何使用 WsdlService 类型提供程序基于服务 URL 的访问以强类型的方法访问 WSDL Web 服务。

演练:根据 DBML 文件生成 F# 类型 (F#)

根据提供 Linq to SQL 数据库架构规范的 DBML 文件,解释如何使用 DbmlFile 类型提供程序访问 SQLdatabase 的表和存储过程。

演练:根据 EDMX 架构文件生成 F# 类型 (F#)

根据提供实体框架架构规范的 EDMX 文件,解释如何使用 EdmxFile 类型提供程序访问 SQL 数据库的表和存储过程。

教程:创建类型提供程序 (F#)

提供有关编写您自己的自定义类型提供程序的信息。

类型提供程序安全性

开发类型提供程序时,提供有关安全注意事项的信息。

类型提供程序疑难解答

提供与类型提供程序一起工作时可引发的关于常见问题的信息,并包括解决方案建议。

请参见

概念

Visual Studio 2012 中 Visual F# 的新增功能

其他资源

F# 语言参考

Visual F#