這篇文章主要講解了“F#語言實例分析”，文中的講解內容簡單清晰，易于學習與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學習“F#語言實例分析”吧！
在F#編寫一個兩個數相加的函數，在F# Interactive中輸入：
1 | let add num1 num2=num1*num2;; |
F# Interactive為我們推斷了這個函數類型：val add : num1:int -> num2:int -> int，表示add有兩個int類型的參數得到了1個int類型。
函數當作參數：
1 2 3 4 5 6 | //C# private int Twice(int input,Func<int,int> f) { return f(f(input)); } var result = Twice(2, n => n*n); |
使用F#則只需要非常簡潔的一個函數聲明：
1 2 3 4 5 6 | > let twice (input:int) f=f(f(input));;
val twice : input:int -> f:(int -> int) -> int
> twice 2 (fun n->n*n);; val it : int = 16 |
val twice : input:int -> f:(int -> int) –> int 這句話則是F# Interactive給出的推斷：twice函數需要一個int參數和一個(int->int)的函數作為參數，返回一個int.
這兩個例子僅僅是熱身，并不是本篇博客的重點，所以你覺得前兩個例子很無聊或者沒太看明白請繼續看下面的總結。
場景：某種活動會有一個日程安排(Schedule)，日程安排有3中類型，只舉辦一次(Once)，每天一次(Daily)，每周一次(Weekly)?；顒訒鶕粘贪才?Schedule)的類型不同具有不同的宣傳內容，不同的延期舉行策略。
你對于這樣的場景會有怎么樣的思考呢？
一、面向過程類型的編碼方式
面向過程類型的編碼是需求的直譯過程，代碼會寫成這樣：
1.顯示活動的宣傳內容：
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | public void ShowScheduleDescriptions() { switch (ScheduleType) { case ScheduleType.Once: Console.WriteLine("this is once activity"); break; case ScheduleType.Daily: Console.WriteLine("this is daily activity"); break; case ScheduleType.Weekly: Console.WriteLine("this is weekly activity"); break; default: throw new InvalidOperationException("unsupported schedule"); } } |
這樣的代碼初次看起來沒什么問題，實際存在兩個危險信號：
違反開放封閉（OCP)原則，如果有一天需要加入一種Monthly類型，無疑需要修改這個方法；
這樣的代碼風格會讓接下來的開發者不假思索的進行延續，比方說需要根據不同的活動類型延期活動；
2. 延期活動：
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 | public void DelaySchedule() { switch (ScheduleType) { case ScheduleType.Once: Console.WriteLine("Delay one hour"); break; case ScheduleType.Daily: Console.WriteLine("Delay one day"); break; case ScheduleType.Weekly: Console.WriteLine("Delay one week"); break; default: throw new InvalidOperationException("unsupported schedule"); } } |
這樣的代格違反了DRY原則，相同的代碼框架卻無法重用。
二、面向對象的編碼方式
對于一個有經驗的OO開發者，一旦看到switch，if(type=typeof(…))之類的代碼馬上會提高警惕，是不是有一些抽象類型沒有被找出來？在這個例子中則會找出下面的抽象：
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 | public class Schedule { public virtual void ShowShowScheduleDescriptions() { }
public virtual void DelaySchedule() { } }
public class OnceSchedule : Schedule { public override void ShowShowScheduleDescriptions() { Console.WriteLine("this is once activity"); }
public override void DelaySchedule() { Console.WriteLine("Delay one hour"); } }
public class DailySchedule : Schedule { public override void ShowShowScheduleDescriptions() { Console.WriteLine("this is daily activity"); }
public override void DelaySchedule() { Console.WriteLine("Delay daily day"); } }
//... other schedule |
這樣的代碼很好的解決了面向過程代碼的兩個問題，看起來更加具有擴展性，隨著新類型的Schedule引入，舊的代碼完全不用改動。
當然事情也不是絕對的，什么情況下需要改動舊代碼呢？當需要擴展Schedule的行為的時候，例如需求升級，不同的Schedule具有不同的舉辦方式，我們不得不在每種Schedule中加入一個 void Hold()方法。
三、函數式解決方案
函數式語言則使用可區分聯合和模式匹配來處理此類問題。
定義一個Schedule可區分聯合：
1 2 3 4 | type Schedule= | Once of DateTime | Daily of DateTime*int | Weekly of DateTime*int |
這個類型既說明了Schedule有三個不同的類型，同時定義了三種類型分別具有的數據結構。像是Enum和類的綜合體，但是又顯得特別精致。
1.顯示活動的宣傳內容，使用了模式匹配：
1 2 3 4 5 | let ShowShowScheduleDescriptions schedule= match schedule with | Once(DateTime)-> printfn "this is once activity" | Daily(DateTime,int)->printfn "this is daily activity" | Weekly(DateTime,int)->printfn "this is weekly activity" |
這個方法類似于switch…case，但是通過匹配可區分聯合來實現，而不是通過一個顯示的Enum來實現。
2. 延期活動：
1 2 3 4 5 | let DelaySchedule schedule= match schedule with | Once(DateTime)-> printfn "Delay one hour" | Daily(DateTime,int)->printfn "Delay one day" | Weekly(DateTime,int)->printfn "Delay one week" |
函數式編程的解決方案認為可以很方便的添加新的行為，例如增加新的行為：Hold()。通過定義可區分聯合和模式匹配來完成編碼，整個解決方案像是面向過程和面向對象的一種結合體，但是側重點不同，實現的代碼也更加精致。
感謝各位的閱讀，以上就是“F#語言實例分析”的內容了，經過本文的學習后，相信大家對F#語言實例分析這一問題有了更深刻的體會，具體使用情況還需要大家實踐驗證。這里是億速云，小編將為大家推送更多相關知識點的文章，歡迎關注！
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
