簡單介紹

F#（與C#一樣，念作“F Sharp”）是一種基于.Net框架的強類型、靜態類型的函數式編程語言。
可以說C#是一門包含函數式編程的面向對象編程語言，而F#是一門包含面向對象的函數式編程語言。
可以查看官方文檔了解更多信息。

本系列文章假設你在了解C#的情況下，將F#與C#在異同點上進行說明，讓讀者能快速地對F#有個系統的了解。
才疏學淺，錯漏難免，如果您在閱讀過程中有什么建議或意見，還請不吝指教。

函數式編程這幾年一直不溫不火，但相信了解了F#之后，對C#也會有更深的認識，對學習其他函數式語言也會更容易上手。

Hello, World

在使用F#時，可以像C#一樣創建一個控制臺項目進行測試。
但因為F#支持以腳本形式運行，所以直接打開F# Interactive（以下簡稱fsi）進行交互是最方便的。

在Visual Studio中可在“視圖-其他窗口”中打開。以前沒有csi的時候，一直拿fsi來測試C#代碼，在VS2015中終于添加了csi。
如果不想打開臃腫的VS，可在Microsoft SDK的安裝位置找到fsi。以下是我安裝的F# 4.0的fsi的位置：

"C:\Program Files (x86)\Microsoft SDKs\F#\4.0\Framework\v4.0\Fsi.exe"

介紹任何語言的特有方式就是通過那幾乎成為標準的“Hello, World”程序。
F# 輸出可使用?printf?函數，如下：

printf "Hello, world!"

當然，也可以像C#一樣使用 .Net 的控制臺輸出函數：

System.Console.Write("Hello World")

當把以上代碼敲進fsi里按回車后，會發現并沒反應，是因為在fsi里提交代碼必須以;;雙分號結尾。
請輸入?printf "Hello, world!";;?和?System.Console.Write("Hello World");;?或者在換行后輸入;;再次回車。
如圖：

F#基礎類型

下面，我們嘗試把以下簡單的C#代碼轉換成F#代碼：

int sum = 0; for (int i = 0; i<=100; i++) { ? ? if (i%2 != 0) ? ? ? ? ? sum += i; } Console.WriteLine("0到100中的奇數的和為{0}", sum);

這段命令式代碼只是簡單地把0到100中的奇數相加，并把和輸出。
雖然在C#中也支持函數式，但在這里我們為了了解基本語法，使用簡單語句來介紹。

以下是F#版本的代碼：

let mutable sum = 0 for i = 0 to 100 doif i%2 <> 0 then sum <- sum + i printfn "0到100中的奇數的和為%A" sum ;;

以上代碼在fsi里的運行結果為：

0到100中的奇數的和為2500
val mutable sum : int = 2500
val it : unit = ()

可以看出，F#中每行代碼結尾的;是可選的。

因為函數式編程語言的特點之一便是無副作用（No Side Effect）、不可變（Immutable），所以沒有變量（Variable）的概念，只有值（Value）的概念。
所以在上面的運行結果中，都是以val開頭；而值it默認為最后一次運行結果，在此例中其類型為unit，相當于C#中的void，即無返回值。

但是在很多場景下，Mutable（可變）可以帶來很多便利，尤其是在像上面結合命令式編程的場景中。
在上面的代碼中，val mutable sum即為一個可變的值。

基礎類型

下面將C#和F#的數據類型定義作對比：

數據類型C#F#

Int	int i = 0;	let i = 0? let i = 0l
Uint	uint i = 1U;	let i = 1u? let i = 1ul
Decimal	decimal d = 1m;	let d = 1m? let d = 1M
Short	short c = 2;	let c = 2s
Long	long l = 5L;	let l = 5L
unsigned short	ushort c = 6;	let c = 6us
unsigned long	ulong d = 7UL;	let d = 7UL
byte	byte by = 86;	let by = 86y? let by = 0b00000101y? let by = ‘a’B
unsigned byte	sbyte sby = 86;	let sby = 86uy? let sby = 0b00000101uy
bool	bool b = true;	let b = true
double	double d = 0.2; double d = 0.2d? double d = 2e-1? double d = 2? double d0 = 0	let d = 0.2? let d = 2e-1? let d = 2.? let d0 = 0x0000000000000000LF
float	float f = 0.3; foat f = 0.3f; float f = 2; float f0 = 0.0f;	let f = 0.3f? let f = 0.3F let f = 2.f? let f0 = 0x0000000000000000lf
native int	IntPtr n = new IntPtr(4);	let n = 4n
unsigned native int	UIntPtr n = new UIntPtr(4);	let n = 4un
char	char c = ‘c’;	let c = ‘a’
string	string str = “abc\n”; string str = @"c:\filename";	let str = “abc\n”? let str = @"c:\filename"
big int	BigInteger i = new BigInteger(9);	let i = 9I

F#的字面量詳細介紹可查看MSDN文章。

十六進制、八進制和二進制

我們知道，在C#中，可以用0x前綴定義十六進制數值。
而F#中除了十六進制（0x），還可以直接定義八進制（0o）和二進制（0b）的數值。

let hex = 0xFABClet oct = 0o7771Llet bin = 0b00101010y;;

輸出結果為：

val hex : int = 64188
val oct : int64 = 4089L
val bin : sbyte = 42y

浮點數

需要注意的是，在F#里，double和float都代表雙精度浮點數，單精度浮點數稱為float32。
String還有一個字面量表示方法是三個雙引號：

let str = """<book title="Paradise Lost"> ? ?<content /> </book>"""

在使用@為前綴（稱為Verbatim String）時，字符串內的若出現雙引號必須使用兩個雙引號轉義，使用三個雙引號的表示法避免了這個問題。
這種表示法最常用在把XML文檔編碼到代碼文件里。

字節數組

在類型對比表中，byte行可以看到有一個創建字節數組的語法：

let asciiBytes = "abc"B ?// val asciiBytes : byte [] = [|97uy; 98uy; 99uy|]

其等價的C#代碼是：

byte[] asciiBytes = Encoding.ASCII.GetBytes("abc");

當然，只支持ASCII編碼。

變量名

F#的變量名命名規則與C#基本一致，但也可在變量名中包含單引號':

let x = 10let x' = 11let Tom's = "2010"

通過let關鍵字，將10綁定（賦值）到x，將11綁定到x'。

在C#中，若要將關鍵字或保留字作為變量名，則可以變量名前加@實現：
例如使用代碼

class @class {}

定義一個名為class的類。

但是在F#中，只需在前后加上``即可將任意字符串指定為變量名：

let ``let`` = 4let ``I love F#`` = "This is an F# program."(*在fsi的輸出結果為：val let : int = 4val ( I love F# ) : string = "This is an F# program."*)

注意在F#中，單行注釋和C#一樣使用//，但多行注釋使用(* *)。

F#的運算符與C#類似，部分區別將在下一篇介紹。感興趣的可以在fsi里嘗試輸入運算玩一玩，或許就可以發現區別了。

原文地址：http://www.cnblogs.com/hjklin/p/fs-for-cs-dev-1.html

---

.NET社區新聞，深度好文，微信中搜索dotNET跨平臺或掃描二維碼關注

總結

以上是生活随笔為你收集整理的如果你也会C#，那不妨了解下F#（1）：F# 数据类型的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。