F# 3.0 —— LINQ + 类型提供程序 = 富信息编程

微软最近宣布了F# 3.0 的开发者预览版——新特性包括通过查询表达式支持LINQ，以及类型提供程序系统和一组内置的提供程序，使得对各种数据源的编程变得简洁。

F# 3.0 的富信息编程特性使你可以对数据库、Web 服务、Web 数据源和数据代理直接编程。比如说，你现在可以这样做：

<p><span face="Consolas"><span color="#000000"><span>[<Generate><generate>] <br></br></generate></span></span></span><span face="Consolas"><span><span><span color="#0000ff">type</span></span><span color="#000000"> Northwind = ODataService<</span><span><span color="#a31515">"http://services.odata.org/Northwind/Northwind.svc/"</span></span></span></span><span face="Consolas"><span><span color="#000000">> <br></br></span><span><span color="#0000ff">let</span></span><span color="#000000"> db = Northwind.GetDataContext()</span></span></span></p><p><span color="#000000"><span>query { </span></span><span><span><span color="#0000ff">for</span></span><span color="#000000"> cat </span><span><span color="#0000ff">in</span></span><span color="#000000"> db.Categories </span><span><span color="#0000ff">do</span></span> <br></br></span><span face="Consolas"><span color="#000000"> select (cat.CategoryID, cat.CategoryName, cat.Description) } <br></br></span></span><span><span face="Consolas"><span color="#000000"> |> Seq.iter (</span><span><span color="#0000ff">fun</span></span></span></span><span face="Consolas"><span><span color="#000000"> (id, name, description) –><br></br></span></span></span><span face="Consolas"><span><span color="#000000"> printfn </span><span><span color="#a31515">"ID: %d\nCategory: %s\nDescription: %s\n"</span></span><span color="#000000"> id name description)</span></span></span></p>常用的几种数据源已有内置的类型提供程序了：OData 服务、数据库连接、数据库架构、通过实体数据模型指定的数据、Web 服务和资源文件。此外，类型系统是开放和可扩展的，这允许开发者以及第三方创建他们自己的提供程序。

其它新特性的简述：

• 自动实现的属性允许属性没有后端存储
• 参数帮助和增强智能感知
• 为可空类型提供类库支持，包括转换运算符和算术运算符
• 适用于国际单位系统（SI）的度量单位类型。这之前是放在 F# PowerPack 里的，现在已经归入 F#核心库了。

你可以在 MSDN 文档里查阅详情。你也可以从 CodePlex 下载 F# Sample Pack 查看这些特性。

F#是一种多范式编程语言，它针对.NET Framework，并贯彻了函数式编程、命令式编程和面向对象编程的原则。

查看英文原文： F# 3.0 – LINQ + Type Providers = Information Rich Programming