在Visual Studio中入門F#

来源:http://www.cnblogs.com/SyMind/archive/2017/05/06/6818693.html
-Advertisement-
Play Games

寫在前面的話 個人由某方面的興趣需要學習 F#,網路上有關F#的中文資料很少,微軟官方有很不錯的文檔,但是很可惜的是絕大部分的章節都是英文的。個人是一位.NET愛好者,想自己將 F# 的官方文檔翻譯出來,算是為了自己喜歡的 .NET 做一些貢獻。 原文鏈接 Getting started with ...


寫在前面的話

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

 

安裝 F#

如果您是第一次下載 Visual Studio, 它將首先安裝 visual studio 安裝程式。從安裝程式中安裝任何版本的 Visual Studio 2017。如果已經安裝了它, 請單擊 "修改"。 接下來將看到工作負載列表。您可以通過以下任一工作負載來安裝 F#:

WorkloadAction
.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 了。

 

創建一個控制台程式

控制台應用程式是 Visual Studio 中最基本的項目之一。這裡介紹怎樣創建它。 打開 Visual Studio :

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

 

編寫您的代碼

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

1 module HelloSquare
2 
3 let square x = x * x
4 
5 [<EntryPoint>]
6 let main argv =
7   printfn "%d squared is: %d!" 12 (square 12)
8   0 // Return an integer exit code

在前面的代碼示例中,定義了一個函數square,它需要一個輸入 x,然後將它與自身相乘。因為 F# 使用類型推理,因此不需要指定 x 的類型。F# 編譯器瞭解可使乘法有效的類型,並根據 square 被調用的情況來為 x 賦予合適的類型。如果你將滑鼠懸停在 square,你應該能看到如下內容:

1 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語言樣式的編程語言的格式化字元串,傳入的參數對應格式化字元串中指定的值,然後輸出結果並新起一行。

 

運行您的代碼

您可以通過按 ctrl-f5 來運行代碼並查看結。這將運行程式而不進行調試,允許您查看結果。或者, 您可以選擇 Visual Studio 中的 "調試" 菜單項, 然後選擇 "開始而不進行調試"。 現在, 您應該看到 Visual Studio 彈出的控制台視窗輸出一下內容:   12 squared is 144!   恭喜您!您已經在 Visual Studio 中創建了您的第一個 F# 項目,該項目編寫了一個 F# 函數,您調用了該函數,並輸出了該函數產生的結果,最後運行了該項目並查看該結果。     使用 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
您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 1.編寫一個程式。該程式讀取輸入直到遇到#字元,然後報告讀取的空格數目、讀取的換行符數目以及讀取的所有其他字元數目。 2.編寫一個程式。該程式讀取輸入直到遇到#字元。使程式列印每個輸入的字元以及它的十進位ASCII 碼。每行列印8 個字元/編碼對。建議:利用字元計數和模運算符(%)在每8 個迴圈周期 ...
  • C language 學習心得 附:為啥起這麼霸氣側漏,招大神們鄙視的標題,正如我在《C language》隨筆的介紹中寫的,這是一個寫個妹紙們看的C language的文章。沒錯!!寫這篇文章的靈感也來自於上周Clanguage課上偶撩到一個連書包都不放下在玩手機的妹子(普通聊天而已,噓~~~), ...
  • SpringBoot的幾個使用技巧 首先提供幾個SpringBoot開發過程中常用的網站: 1. Spring Boot官方文檔:http://docs.spring.io/spring boot/docs 2. SpringBoot項目初始化網站:https://start.spring.io/ ...
  • 1、java程式的基本結構大體上可以分為包、類、main()主方法、標識符、關鍵字、語句和註釋等。 2、標識符和關鍵字區分大小寫。 3、主方法是應用程式的入口點,java程式是從該方法開始執行的,main是主方法的名稱,程式員不可以更改。 4、標識符 是一個名字,用來標識類名、變數名、方法名、數組名 ...
  • 看了兩天《Learn Objective-C on the MAC》 中文版本《Objective-C基礎編程》,大概認真讀到了第9章記憶體管理部分,感覺這語言可比C++簡單多了。 第一天,因為有C語言基礎的緣故,我在windows 上安裝了GNUstep (Objective-C)開發環境,變看電子 ...
  • 題目描述 為了準備一個獨特的頒獎典禮,組織者在會場的一片矩形區域(可看做是平面直角坐標系的第一象限)鋪上一些矩形地毯。一共有 n 張地毯,編號從 1 到n 。現在將這些地毯按照編號從小到大的順序平行於坐標軸先後鋪設,後鋪的地毯覆蓋在前面已經鋪好的地毯之上。 地毯鋪設完成後,組織者想知道覆蓋地面某個點 ...
  • 一、任務 後臺——登錄 包含的內容:1)bootstrap驗證--登錄 2)MD5加密(加鹽)--對密碼 3)三框架頁面--主頁面 二、整體圖 三、分享 源碼、資料庫及圖片共用鏈接:http://pan.baidu.com/s/1dFIMav3 密碼:sers ...
  • 作業二:多級菜單 1.三級菜單 2.可以次選擇進入各子菜單 3.所需新知識點:列表、字典 4.列印b回到上一層 5.列印q退出迴圈 流程圖如下: readme: (1)存儲三級菜單的字典;設置標識符active用來迴圈; (2)生成存儲省市的字典,d1 = {1: '河南', 2: '廣東', 3: ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發(一):使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說,近來想嘗試開發一款安卓APP,考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP,畢竟是使用Visual Studio開發工具,使用起來也比較的順手,結合微軟官方的教程進行了安卓 ...
  • 前言 QuestPDF 是一個開源 .NET 庫,用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫,它徹底改變了我們生成 PDF 文檔的方 ...
  • 項目地址 項目後端地址: https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址: ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址: http://tree ...
  • 話不多說,直接開乾 一.下載 1.官方鏈接下載: https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe,運行開始下載SQL server; 二. ...
  • 前言 隨著物聯網(IoT)技術的迅猛發展,MQTT(消息隊列遙測傳輸)協議憑藉其輕量級和高效性,已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫,為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog支持多種接收器用於日誌存儲,增強器用於添加屬性,LogContext管理動態屬性,支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項,適用於不同需求。 ...
  • 目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據,爬取信息時需要模擬瀏覽器行為,否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下: 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • 1.前言 什麼是熱更新 游戲或者軟體更新時,無需重新下載客戶端進行安裝,而是在應用程式啟動的情況下,在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR,Xlua,ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles,Addressable, ...
  • 本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺,其實像阿裡雲,騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後,它會送 ...
  • 通過以下方式可以高效,並保證數據同步的可靠性 1.API設計 使用RESTful設計,確保API端點明確,並使用適當的HTTP方法(如POST用於創建,PUT用於更新)。 設計清晰的請求和響應模型,以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證,確保接收到的數據符合預期格 ...