介绍

在这篇文章中我们将使用 交换模式编译第一个 @H_301_5@F# 程序。关于 @H_301_5@F# 已经谈论了很就了，这里只想通过使用 @H_301_5@F# 交换模式编译第一个程序。

下载并安装 F#

这篇文章使用 @H_301_5@F# 编译器的版本为 @H_301_5@1.9.2.9 ，你可以从 @H_301_5@http://research.microsoft.com/research/downloads/details/52ba6040-6998-4de2-bfc6-f7a0f40c71e2/details.aspx 下载。

可以从 @H_301_5@http://research.microsoft.com/fsharp/release.aspx 下载最新版本。你首先必须安 装 .NET 2.0 或更高版本在安装 @H_301_5@F# 。一旦你安装了 @H_301_5@F# 在你的程序菜单中会如图显示“ @H_301_5@F# Interactive Console ”。

@H_301_5@

图 @H_301_5@: - F# Interactive console

这是学习 @H_301_5@F# 必须的。让我们开始吧。

F# 执行模式类型

@H_301_5@F# 有两种执行模式：

• 完全编译成 @H_301_5@.NET 代码（使用“ @H_301_5@C:/Program Files/FSharp-1.9.2.9/bidn ”下的 @H_301_5@fsc.exe ）。
• 另一种是交换模式（使用“ @H_301_5@C:/Program Files/FSharp-1.9.2.9/bidn ”下的 @H_301_5@fsi.exe ）。

写第一个程序

因此，让我们开始尝试使 用 @H_301_5@F# 交换模 式编写第一个程序。一段时间以来我们将使用 @H_301_5@F# 交换模式，因此我们要理解一些概念。因此，点击微软研究所的一个 @H_301_5@F# 交换式控制台应用程序。你这样做了会 看见一个如下图“ @H_301_5@F# Interactive Console ”的屏幕。图中箭头显示的位置用来输入 @H_301_5@F# 命令。所有 @H_301_5@F# 命令以“ @H_301_5@;; ”（双分号）结束；

@H_301_5@

图 @H_301_5@: - F# Interactive console.

让我们输入我第一个程 序。下图演示一个简单的程序设置字符串的值并显示在屏幕上。我们对命令进行编号，通过编号让我们理解每个命令。

@H_301_5@

图 @H_301_5@: - 你的第一个程序

@H_301_5@1 和 @H_301_5@2 – “ @H_301_5@let ”关键字绑定标识符（在这个例子中是“ @H_301_5@x ”）具有值“ @H_301_5@Shiv ”。命令以“ @H_301_5@;; ”结束，输入回车后将看到“ @H_301_5@val x : string ”。这个信息是 @H_301_5@F# 编译器提供的，我们可以看到声明了一 个变量“ @H_301_5@x ” 是 @H_301_5@string 类 型。这是编译器评估数据类型。你可能注意到在 @H_301_5@C# 或 @H_301_5@VB.NET 中需要定义变量的数据类型。下图“比较”显示“ @H_301_5@let ”关键字和 @H_301_5@C# 的匹配。“ @H_301_5@let ”在 @H_301_5@F# 是声明关键字。

图 @H_301_5@: - 比较

@H_301_5@3 和 @H_301_5@4 – 这个命令我们寻求 @H_301_5@F# 编译器关于变量“ @H_301_5@x ”的信息。在第 @H_301_5@4 行我们可以看见编译器的回答“ @H_301_5@val it : string = "Shiv" ，意味着 @H_301_5@"x" 是一个字符串类型值为 @H_301_5@"Shiv" ”。

@H_301_5@5 – 这里我们使用 @H_301_5@System.Console.WriteLine 显示变量的值。需要注意的是“ @H_301_5@System ”是 @H_301_5@.NET 的命名空间。在这一行我们可以说 @H_301_5@F# 可以无缝方式使用 @H_301_5@.NET 中的功能。

@H_301_5@

图 @H_301_5@: - F# 和 @H_301_5@ .NET

@H_301_5@6 – 我们可以看到 @H_301_5@F# 编译器显示“ @H_301_5@Shiv ”作为回应。

"Let" 声明语法

@H_301_5@F# 中的“ @H_301_5@Let ”关键字允许声明变量和方法。下图“声明变量”显示如何声明一个变量。一个重要点需要注意的是我 们不需要定义数据类型。 @H_301_5@F# 依靠值确定声明的是字符串或整型。比如，可能看到我们给值“ @H_301_5@2 ” @H_301_5@F# 食物数据类型为整型，当我们给字符串值“ @H_301_5@shiv ”它确定数据类型为字符串。

@H_301_5@

图 @H_301_5@: - 声明变量

注意：这个语法和通常的程序语法是有些不同的。因此学习 @H_301_5@F# 最重要的一件事情是要意识到这是一门全新的语言。如果你尝试和以前的 @H_301_5@C# 或 @H_301_5@VB.NET 的风格联系起来，你可能会失望。所 以，保持你头脑的清醒，接收新的风格。

方法也是使用“ @H_301_5@let ”关键字类定义的。下图“比较 @H_301_5@F# 和 @H_301_5@c# 方法声明”显示 @H_301_5@F# 方法声明和 @H_301_5@C# 方法声明的比较。例如，我们声明一 个叫作“ @H_301_5@MyMethodIncrement ”的方法用来接收一个数字参数并在方法中将该数自增。在 @H_301_5@F# 中方法体接在方法名后面。不像 @H_301_5@C# 有花括号。我们使用 @H_301_5@F# 中的方法的变量，作为输入参数。

@H_301_5@

图 @H_301_5@: - 比较 @H_301_5@ F# 和 @H_301_5@ C# 的方法声明

现在让我们运行这个方法 看看他是如何工作的。图“声明方法”显示声明一个方法并调用它。理解下图标号的特点。

@H_301_5@1 – 声明一个叫“ @H_301_5@MyMethodIncrement ”方法，方法逻辑将值自增。

@H_301_5@2 – 在 @H_301_5@F# 中声明方法的妙处是通过算术计算声明一个方法，并返回一个整型值。

@H_301_5@3 和 @H_301_5@4 – 在此调用方法并给值 @H_301_5@2 递增后显示 @H_301_5@3 。我们再次调用给值 @H_301_5@3 递增后显示 @H_301_5@4.

@H_301_5@

图 @H_301_5@: - 声明方法

注意：如果你看到上面 @H_301_5@F# 声明方法的妙处，通过看到算术计算定 义一个方法返回一个整型。然而 @H_301_5@C# 需要严格的定义告诉我们的函数将有值返回。