F#簡(jiǎn)明教程三：F#語(yǔ)法精要
原創(chuàng)【51CTO獨(dú)家特稿】在上一節(jié)F#教程中，我們對(duì)F#的類(lèi)型系統(tǒng)和類(lèi)型推斷機(jī)制有了一個(gè)初步的認(rèn)識(shí)。F#的類(lèi)型推斷原理是學(xué)習(xí)F#的重要基礎(chǔ)。本節(jié)課程，我們將在F#類(lèi)型基礎(chǔ)上進(jìn)一步學(xué)習(xí)F#的一些基本語(yǔ)法。
“l(fā)et”表達(dá)式是F#語(yǔ)法的核心，可以用作定義函數(shù)、序列等多種用途。另外，F(xiàn)#使用空格來(lái)標(biāo)記程序塊的開(kāi)始與結(jié)束。
定義值
- let x = 2
定義函數(shù)值
- let f a = a + x
定義循環(huán)函數(shù)
- open System.IO
- let rec printSubDirFiles dir =
- let fles = Directory.GetFiles dir
- let dirs = Directory.GetDirectories dir
- printf “%s\n%A\n\n” dir fles
- Array.iter printSubDirFiles dirs
此外，F(xiàn)#還提供傳統(tǒng)的循環(huán)和迭代等流程控制結(jié)構(gòu)，比如if、for、while。但我們需要注意的是，F(xiàn)#中的“if…then”和“if…then…else”與傳統(tǒng)的面向?qū)ο笳Z(yǔ)言有些不同。在F#中，大多數(shù)表達(dá)式必須含有一個(gè)值，并且控制結(jié)構(gòu)“if…then…else”表達(dá)式的兩邊的值必須是同一類(lèi)型。注：F#的這種語(yǔ)法約定源自其推斷型語(yǔ)言的編譯機(jī)制，詳細(xì)請(qǐng)參考上一節(jié)教程中關(guān)于F#類(lèi)型推斷機(jī)制的介紹。
F#中的常用流程控制語(yǔ)句示例
與大多數(shù).NET平臺(tái)上的編程語(yǔ)言相似，F(xiàn)#也提供一些組織代碼的機(jī)制。事實(shí)上，F(xiàn)#提供模塊和命名空間兩種方式，下面的一些演示將給出C#和VB的命名空間。F#的模塊化不只局限與語(yǔ)法范圍，還提供模塊化的層級(jí)標(biāo)準(zhǔn)，例如集合和函數(shù)。
F#的基礎(chǔ)代碼組織:命名空間、類(lèi)型和模型
- namespace MyFSharpProg
- open System.Net
- type Foo () =
- member x.GetRequest = WebRequest.
- Create
- module Main = begin
- // values and functions here
- end
與傳統(tǒng)的函數(shù)式編程原則相同，多數(shù)時(shí)候，F(xiàn)#的標(biāo)識(shí)符是不可變的。但F#允許定義和修改使用“mutable”保留字的值，或通過(guò)“ref”保留字改變其前面的引用。mutable的值可以通過(guò)左箭頭操作（“<-”）;ref的值可以通過(guò)“：=”操作符制指定。我們可以通過(guò)“！”獲取ref的值。下面來(lái)看具體示例：
聲明/更新可變值
- let mutable x = 0
- x <- x + 1
聲明/更新參考值
- let x = ref 0
- x := !x + 1
F#小提示：在習(xí)慣了C#或Java等編程語(yǔ)言后，剛剛開(kāi)始F#編程,閱讀F#代碼感覺(jué)就像亂碼一樣。因?yàn)镕#為了保有函數(shù)式編程的一些優(yōu)秀特質(zhì)，不得不引入一些如“<-”、“：=”、“！”等奇怪的符號(hào)作為操作符或運(yùn)算符；另外，F(xiàn)#在代碼中需要通過(guò)一些推斷機(jī)制來(lái)評(píng)判變量的類(lèi)型，在閱讀F#代碼時(shí)，應(yīng)對(duì)F#的類(lèi)型系統(tǒng)做到心中有數(shù)，所以，多數(shù)時(shí)候我們看到的是“l(fā)et”，而不是傳統(tǒng)的“int”、“string”、“float”等。希望大家能充分理解F#的類(lèi)型系統(tǒng)和類(lèi)型推斷機(jī)制，這是F#的重要基礎(chǔ)，也是走進(jìn)函數(shù)式編程語(yǔ)言的重要一步。
【F#教程回顧】
