一、写在前面的话
个人由某方面的兴趣需要学习 F#,网络上有关F#的中文资料很少,微软官方有很不错的文档,但是很可惜的是绝大部分的章节都是英文的。个人是一位.NET爱好者,想自己将 F# 的官方文档翻译出来,算是为了自己喜欢的 .NET 做一些贡献。
二、原文链接
Getting started with F# in Visual Studio
三、在这篇文章中
- 安装 F#
- 创建一个控制台应用程序
- 编写您的代码
- 运行您的代码
- 使用 F# Interactive
在 Visual Studio IDE 中支持 F# 和 Visual F#。在开始前,如果您还没有下载 Visual Studio 的话,我们应该先下载它。本文使用 Visual Studio 2017 Community 版本,您当然可以用您选择的版本来使用 F#。
四、开始
1. 安装 F#
如果您是第一次下载 Visual Studio, 它将首先安装 visual studio 安装程序。从安装程序中安装任何版本的 Visual Studio 2017。如果已经安装了它, 请单击 "修改"。 接下来将看到工作负载列表。您可以通过以下任一工作负载来安装 F#:
Workload | Action |
---|---|
.NET desktop development | Select F# language support from the right-hand side |
ASP.NET and web development | Select F# language support from the right-hand side |
Data storage and processing | Select F# language support from the right-hand side |
Mobile development with .NET | No action - F# is installed by default |
最后, 单击右下方的 "修改"。这将安装您所选择的所有内容。然后, 通过单击 "启动", 就可以使用支持 F# 语言的 Visual Studio 2017 了。
2. 创建一个控制台程序
控制台应用程序是 Visual Studio 中最基本的项目之一。这里介绍怎样创建它。 打开 Visual Studio :
- 在“文件”菜单下,选择“新建”,然后选择“项目”。
- 在新建项目对话框中,我们应该能在“模板”区域内看到 Visual F#。选择该项以显示F#的模板。
- 选择“确定”按钮创建 F# 项目!你现在应该能在“解决方案资源管理器”中看到一个F#项目。
3. 编写您的代码
让我们立即开始写一些代码吧。请确保该程序. fs 文件已打开, 然后用以下内容替换它:
module HelloSquare let square x = x * x [<EntryPoint>]
let main argv =
7 printfn "%d squared is: %d!" (square )
// Return an integer exit code
在前面的代码示例中,定义了一个函数square,它需要一个输入 x,然后将它与自身相乘。因为 F# 使用类型推理,因此不需要指定 x 的类型。F# 编译器了解可使乘法有效的类型,并根据 square 被调用的情况来为 x 赋予合适的类型。如果你将鼠标悬停在 square,你应该能看到如下内容:
val square: x:int -> int
这就是函数类型签名。它可以这样理解“square 是一个函数,它需要输入一个整数 x,然后产生一个整数”。请注意,编译器赋予当前的 square int 类型——这是因为并不是所有类型都能进行乘法操作,能够进行乘法操作的类型所构成的集合是一个封闭的集合。当前 F# 编译器选择 int,但是如果您调用 square 再传入一个不同类型的输入,例如 float,它将调整类型签名。
另一个定义的函数main,使用 EntryPoint 特性来告知编译器应该从哪里开始执行程序。它遵循与其他C语言风格的编程语言相同的约定,该函数可以接收命令行参数,会返回一个整数(通常为0)。
在这个函数中,我们调用 square 函数传入参数 12。然后,F# 编译器将赋予 square 的类型为 int -> int(表示这样的一个函数,输入 int 后产生一个 int)。printfn 是一个格式化输出函数,它使用类似于C语言样式的编程语言的格式化字符串,传入的参数对应格式化字符串中指定的值,然后输出结果并新起一行。
4. 运行您的代码
12 squared is 144!
>
val square : x:int -> int
>
> square 12;;
val it : int = 144
> square 13;;
val it : int = 169
> let isOdd x = x % 2 <> 0;;
val isOdd : x:int -> bool
> isOdd 12;;
val it : bool = false
> isOdd (square 15);;
val it : bool = true
> 15 |> square |> isOdd;; val it : bool = true