F#是一个基于.NET框架的多模式编程语言、是一种.NET平台上的函数式编程语言、更是一个高效的.NET程序语言.就像C#和VB.NET,F#可以利用.NET的核心类库,如WPF,WCF,VSTO等等,通过F#您甚至可以使用XNA编写XBox游戏.仅仅如此并不意味着您应该去学习它.那为何要使用F#呢?
作为一种函数式编程语言,F#使得某些领域的编程要比命令式编程(如使用C#)更为容易.并行编程(Parallel Programming)和面向语言编程(Language-Oriented Programming)是其中的两个领域.
F#语言交互式设计窗口
如果您曾经编写过.NET应用程序,并感觉自己在努力使用手头的语言表达自己的想法,也许F#就是您在寻找的.F#主要是由Microsoft Research 和 Visual Studio 小组协作开发的,并采纳了F#社区和一些主要使用者的意见.F#为Visual Studio 2010带来了很大的改观.
因为替代了局部程序中的元组使工作变的简单了.在异步编程和强类型对于浮点编码方面也提供的不错的解决方式.可以说F# 是Visual Studio 2010中结合了众多优点的编程语言.
F#的优势
在F#中函数可以被视为值,可以传递给其他函数,你可以方便地编写高阶函数;
F#支持组合式编程,你可以通过使用简单的操作符语法来组合函数;
F#提供了支持函数式编程风格的类型,如针对简单数据集合的元组和针对结构化符号数据的discriminated unions;
F#提供了许多不可变的数据结构,如不可变的列表、映射、集合、序列和记录等;F#支持异步编程,并且提供了使这种编程比以往更容易的结构;
Visual F#中还包括了一个F#解释器,F#互动器(fsi.exe),它能够以交互方式编译并执行代码;F#支持延迟计算,这可以使您直到需要结果时才进行计算;
F#支持面向对象语言特征,除了让您使用F#语言开发.NET框架API外,这种特征可以使F#程序能够充分地访问.NET框架.
当然除此以外,F#还支持如面向对象语言特征,支持命令式编程结构,支持数学计算等特性.在VS2010中F#除了特征广泛外,它的特点还包括比如说简单简洁的句法、并行和异步的编程.
F#简单简洁的句法:
F#像C#一样,是一种强制型的语言.但是我也可以使用类似在Python中那样的方式.既轻量级的,灵活的,数学类的编程方式.
- let data = (1,2,3)
- let rotations (x, y, z) =
- [ (x, y, z);
- (z, x, y);
- (y, z, x) ]
- let derivative f x =
- let p1 = f (x - 0.05)
- let p2 = f (x + 0.05)
- (p2 - p1) / 0.1
- let f x = 2.0*x*x - 6.0*x + 3.0
- let df = derivative f
- System.Console.WriteLine("The derivative of f at x=4 is {0}", df 4.0)
其运行结果为:“The derivative of f at x=4 is 10”.
在并行和异步编程上,.NET Framework 4 和Visual Studio 2010中,包含了一个关于并行程序开发的庞大文档和工具库.F#提供了一种强健的编程模式和灵活优秀的功能,使这些显现的更为直观.最为重要的是,我们可以在过去习惯了的线性编程模式下进行异步编程.
- let http url =
- async { let req = WebRequest.Create(Uri url)
- let! resp = req.AsyncGetResponse()
- let stream = resp.GetResponseStream()
- let reader = new StreamReader(stream)
- let! contents = reader.AsyncReadToEnd()
- return contents }
- let sites = ["h ttp://bing.com"; "h ttp://microsoft.com";"h ttp://msdn.com"; "ht tp://msnbc.com"]
- let htmlOfSites =
- Async.Parallel [for site in sites -> http(site)]
- |> Async.RunSynchronously
以上就是Visual Studio 2010中F#语言简单介绍,在使用过程中肯定会有更多的体验.
随著FP在程序设计中的重要性日渐凸显,F#身为微软***的FP语言,其位置特殊,容易引起关注。对一部分人来说,这语言所带来的一些特性以及其对FP的特性的全面支持(而且做得都比较好,至少目前是这样),可能会带来一次大的革变。
【编辑推荐】