类型提供文件数据程序

　　应用于F的类型提供程序概念相对简单直观。现代的开发工作涉及引入许多不同来源的数据。为处理这些数据，需要将其封送到应用程序可以操作的类和对象中。可以方便地手动创建所有这些类，但这也会增加产生bug的可能性，我们经常使用代码生成器来解决此问题。但是，如果以交互操作模式使用，则传统的代码生成器就不是最佳的选择。每次调整服务应用时，就需要重新生成代码，这是非常令人厌烦的工作。
　　为解决此问题，F引入了许多生成时类型提供文件数据程序来处理常见的数据访问情况，包括访问SQL关系数据库、Open Data服务和WSDL定义的服务。此外，也能够创建和使用自定义的类型提供程序。
　　添加必要名称空间的引用后，使用type声明访问类型提供文件数据程序。这样就可以把dbSchema变量创建为类型，该变量包含代表AdventureWorksLT2014数据库中 表的所有生成类型。调用GetDataContext后，db变量通过其属性拥有所有的表名，从而可以遍历表中的行，并打印出每一行中客户的姓名和所在的城市。