【IT168 资讯】微软最近宣布了F# 3.0的开发者预览版——新特性包括通过查询表达式支持LINQ，以及类型提供程序系统和一组内置的提供程序，使得对各种数据源的编程变得简洁。
F# 3.0的富信息编程特性使你可以对数据库、Web服务、Web数据源和数据代理直接编程。比如说，你现在可以这样做：
[<Generate>]
type Northwind = ODataService<"http://services.odata.org/Northwind/Northwind.svc/">
let db = Northwind.GetDataContext()
query { for cat in db.Categories do
select (cat.CategoryID, cat.CategoryName, cat.Description) }
|> Seq.iter (fun (id, name, description) –>
printfn "ID: %d\nCategory: %s\nDescription: %s\n" id name description)
type Northwind = ODataService<"http://services.odata.org/Northwind/Northwind.svc/">
let db = Northwind.GetDataContext()
query { for cat in db.Categories do
select (cat.CategoryID, cat.CategoryName, cat.Description) }
|> Seq.iter (fun (id, name, description) –>
printfn "ID: %d\nCategory: %s\nDescription: %s\n" id name description)
常用的几种数据源已有内置的类型提供程序了：OData服务、数据库连接、数据库架构、通过实体数据模型指定的数据、Web服务和资源文件。此外，类型系统是开放和可扩展的，这允许开发者以及第三方创建他们自己的提供程序。
其它新特性的简述：
自动实现的属性允许属性没有后端存储
参数帮助和增强智能感知
为可空类型提供类库支持，包括转换运算符和算术运算符
适用于国际单位系统(SI)的度量单位类型。这之前是放在F# PowerPack里的，现在已经归入F#核心库了。
你可以在MSDN文档里查阅详情。你也可以从CodePlex下载F# Sample Pack查看这些特性。
F#是一种多范式编程语言，它针对.NET Framework，并贯彻了函数式编程、命令式编程和面向对象编程的原则。
查看英文原文：F# 3.0 – LINQ + Type Providers = Information Rich Programming
