F Sharp简明教程副本.doc

F#简明教程 F#与函数式编程概述#是微软.NET平台上一门新兴的函数式编程语言，通过函数式语言，开发人员可以轻松应对多核多并发时代的并行计算和分布问题。本文是F#简明教程的第一章，带您走进F#和函数式编程。 F#是微软.NET开发平台的一门编程语言，其最大的特点是对函数式编程（FP，Functional Programming）的引入；F#对面向对象（OOP）编程的支持也很出色，使用F#语言，开发人员可以自由选择函数式编程或面向对象编程来实现他们的项目。此外，F#还可以与.NET平台上C#、VB等其他编程语言紧密结合。 CPU多核心化和云计算的背景下，函数式编程可以很好的解决多并发运算的问题（在处理并发问题方面，面向对象编程存在一定程度的固有缺陷，比如类和实例化过程中产生的一些副作用，详细请参考51CTO.com对另一门函数式编程语言Erlang的视频访谈《因并发而生 因云计算而热：Erlang专家访谈实录》）。微软看到了这个趋势，试图通过专门为函数式编程打造的F#语言提升.NET平台在并发处理、多核多并发方面的能力，进一步提升开发人员的生产力和代码运行效率 在2009年的TechED上，51CTO.com就F#和函数式编程的问题视频采访了微软MVP赵颉老师，我们可以采访视频了解F#和函数式编程最近的发展，详细请参考《TechED 09视频专访：F#与函数式编程语言》。 1.1 F#编程起步 F#可以运行在.NET Framework 2.0版本以上的平台。如果你的Visual Studio之前没有安装F#,可以从微软F# Developer Center获得（/en-us/fsharp/default.aspx）。 不能免俗，让我们来看看F#的Hello World代码： #light System.Console.WriteLine(“This is one hello”) printfn “This is another hello” 将代码保存为hello.fs文件后，我们需要在命令行中通过fsc.exe编译生成一个.NET程序集。在命令行中的编译代码如下： fsc hello.fs 通过上面的代码，我们就得到了常见的可执行文件(.exe文件)，这就是我们F#的起步——hello.exe。 F#小提示：F#是.NET平台上的一个编译型语言，但仍然可以像脚本语言一样运行。可以使用Visual Studio或fsi.exe（在F#安装目录下的bin目录）进行F#脚本的执行。 代码解读 让我们来仔细看看hello.fs文件里的代码 ◆ 程序首先以“#light”开始，在以后的F#之路上，我们会经常看到“#light”；大多数时候，“#light”总是出现在F#程序的开始位置，这是F#轻量级语法的标识；在最新的F#版本中，#light将作为默认选项。 ◆ “System.Console.WriteLine”调用一个.NET基础类（熟悉C#或VB.NET的朋友会相当熟悉）用来初始化一些必要的功能。 ◆ “printfn”是F#的一个常用函数，他会将双引号中的参数输出到控制台上显示。 跟其他程序的Hello World一样，这段F#代码简单易懂，看着跟其他语言写就的Hello World还有些相似；但作为函数式编程语言，F#的语法和编程中的思路却有很大的不同。在下周的章节中，我们将深入F#编程，讲解F#的类型系统及编译机制。 F#是一种类型推断语言，它们的类型在编译过程中被推断和确定；这与Java或C#中的泛型基本相似，本节教程我们将介绍F#的类型系统和类型推断机制，这是理解F#的基础。 #light System.Console.WriteLine(“This is one hello”) printfn “This is another hello” F#是函数式和面向对象的混合体。它有时候会看起来与C#或Visual Basic惊人的相似，但却又完全陌生。F#程序以一系列的表达式形式组成,每个表达式可以通过“let”标识符被指定，比如： let fles = System.IO.DirectoryInfo(@”C:\Users\Chance”). GetFiles() 在上面的代码中，“fles”被指定了一个值，在这个例子中，是一个文件路径。有意思的是，程序运行中，直到语句在得到右侧的返回值前，“fles”的实际类型都没有被详细定义。你可能觉得有些别扭，在Java或其他编程语言中，变量fles应该被定义成一种数据类型，string或是其他什么类型以在内存中可以明确的被编译器区别对待，但这些规则在F#中有些不同。这也导致我们的F#简明教程稍有不同，我们不会像通常的教程那样介绍F#的基本数据类型，从某种