在Visual Studio中入門F#

一、寫在前面的話

個人由某方面的興趣需要學習 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 :

1. 在“文件”菜單下，選擇“新建”，然后選擇“項目”。
2. 在新建項目對話框中，我們應該能在“模板”區域內看到 Visual F#。選擇該項以顯示F#的模板。
3. 選擇“確定”按鈕創建 F# 項目！你現在應該能在“解決方案資源管理器”中看到一個F#項目。

3. 編寫您的代碼

        讓我們立即開始寫一些代碼吧。請確保該程序. fs 文件已打開, 然后用以下內容替換它:

module HelloSquare

let square x = x * x

[<EntryPoint>]
let main argv =
7 　　printfn "%d squared is: %d!" 12 (square 12)
　　0 // 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. 運行您的代碼

        您可以通過按 ctrl-f5 來運行代碼並查看結。這將運行程序而不進行調試，允許您查看結果。或者, 您可以選擇 Visual Studio 中的 "調試" 菜單項, 然后選擇 "開始而不進行調試"。

現在, 您應該看到 Visual Studio 彈出的控制台窗口輸出一下內容:

12 squared is 144!

恭喜您！您已經在 Visual Studio 中創建了您的第一個 F# 項目，該項目編寫了一個 F# 函數，您調用了該函數，並輸出了該函數產生的結果，最后運行了該項目並查看該結果。

5.  使用 F# 交互式編程

        在 Visual Sutdio 中，Visual F# 工具最好的一個功能就是 F# Interactive 窗口。它允許您將代碼發送到一個進程，您可以調用其中的代碼並交互式的查看結果。

        要開始使用它，請選中定義平方函數的代碼。接着，按住 Alt 鍵並按下 Enter。這將在  F# Interactive 窗口中執行執行代碼。您應該能看到 F# Interactive 窗口中輸出一下內容：

>
val square : x:int -> int
>

        這與您將鼠標懸停到 square 上時顯示出的函數簽名相同。因為現在 square 已經在 F# Interactive 窗口中被定義，你可以傳入不同的值來調用它：

> square 12;;
val it : int = 144
> square 13;;
val it : int = 169

        這將執行函數，並將結果綁定到 it 上，並顯示 it 的類型和值。注意，每行必需用 ;; 結束。這讓 F# Interactive 知道何時完成函數調用。您還可以在 F# Interactive 中定義新的函數：

> let isOdd x = x % 2 <> 0;;
val isOdd : x:int -> bool
> isOdd 12;;
val it : bool = false

        上面定義了一個新的函數 isOdd，它接受一個 int 參數並檢查它是否為奇數！您可以調用此函數以查看它在不同的輸入下返回的內容。可以如下調用函數:

> isOdd (square 15);;
val it : bool = true

        您也可以使用“管道轉發”運算符將該值傳入兩個函數中：

> 15 |> square |> isOdd;; val it : bool = true