建站
咨詢
售后
建站咨詢
新聞中心
【獨家特稿】在上一節(jié)F#教程中，我們對F#的類型系統(tǒng)和類型推斷機制有了一個初步的認識。F#的類型推斷原理是學習F#的重要基礎。本節(jié)課程，我們將在F#類型基礎上進一步學習F#的一些基本語法。
創(chuàng)新互聯(lián)專注于企業(yè)營銷型網(wǎng)站、網(wǎng)站重做改版、洪江管理區(qū)網(wǎng)站定制設計、自適應品牌網(wǎng)站建設、H5場景定制、成都做商城網(wǎng)站、集團公司官網(wǎng)建設、成都外貿網(wǎng)站制作、高端網(wǎng)站制作、響應式網(wǎng)頁設計等建站業(yè)務，價格優(yōu)惠性價比高，為洪江管理區(qū)等各大城市提供網(wǎng)站開發(fā)制作服務。
“l(fā)et”表達式是F#語法的核心，可以用作定義函數(shù)、序列等多種用途。另外，F(xiàn)#使用空格來標記程序塊的開始與結束。
定義值
- 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)和迭代等流程控制結構，比如if、for、while。但我們需要注意的是，F(xiàn)#中的“if…then”和“if…then…else”與傳統(tǒng)的面向對象語言有些不同。在F#中，大多數(shù)表達式必須含有一個值，并且控制結構“if…then…else”表達式的兩邊的值必須是同一類型。注：F#的這種語法約定源自其推斷型語言的編譯機制，詳細請參考上一節(jié)教程中關于F#類型推斷機制的介紹。
F#中的常用流程控制語句示例
與大多數(shù).NET平臺上的編程語言相似，F(xiàn)#也提供一些組織代碼的機制。事實上，F(xiàn)#提供模塊和命名空間兩種方式，下面的一些演示將給出C#和VB的命名空間。F#的模塊化不只局限與語法范圍，還提供模塊化的層級標準，例如集合和函數(shù)。
F#的基礎代碼組織:命名空間、類型和模型
- namespace MyFSharpProg
- open System.Net
- type Foo () =
- member x.GetRequest = WebRequest.
- Create
- module Main = begin
- // values and functions here
- end
與傳統(tǒng)的函數(shù)式編程原則相同，多數(shù)時候，F(xiàn)#的標識符是不可變的。但F#允許定義和修改使用“mutable”保留字的值，或通過“ref”保留字改變其前面的引用。mutable的值可以通過左箭頭操作（“<-”）;ref的值可以通過“：=”操作符制指定。我們可以通過“！”獲取ref的值。下面來看具體示例：
聲明/更新可變值
- let mutable x = 0
- x <- x + 1
聲明/更新參考值
- let x = ref 0
- x := !x + 1
F#小提示：在習慣了C#或Java等編程語言后，剛剛開始F#編程,閱讀F#代碼感覺就像亂碼一樣。因為F#為了保有函數(shù)式編程的一些優(yōu)秀特質，不得不引入一些如“<-”、“：=”、“！”等奇怪的符號作為操作符或運算符；另外，F(xiàn)#在代碼中需要通過一些推斷機制來評判變量的類型，在閱讀F#代碼時，應對F#的類型系統(tǒng)做到心中有數(shù)，所以，多數(shù)時候我們看到的是“l(fā)et”，而不是傳統(tǒng)的“int”、“string”、“float”等。希望大家能充分理解F#的類型系統(tǒng)和類型推斷機制，這是F#的重要基礎，也是走進函數(shù)式編程語言的重要一步。
【F#教程回顧】
- F#簡明教程一：F#與函數(shù)式編程概述
- F#簡明教程二：F#類型系統(tǒng)和類型推斷機制
當前名稱：F#簡明教程三：F#語法精要
文章起源：http://www.5511xx.com/article/cogjhog.html
