F#提供了一個叫"活動模式"的有趣功能。它把輸入的數據轉換成其他不同的東西。
一個有趣的使用實例就是代替枚舉。但我編程枚舉的時候，我總不高興去鏈接枚舉項到它的定義。例如，下面的枚舉定義了 數字枚舉，
enum Numbers{Odd,Even,}
?
但是它沒有說明什么是Odd，什么是Even。我試著使用特性或簡單的注釋，但是我真正想得到的是在F#中見到枚舉項就獲取定義。當我看見活動模式的時候，我的眼睛一下亮起來了。你真的可以使用非分部模式來解決這個問題，但是你不能放多余8項，所以我選擇使用分部模式，為了我的系統在將來可以容易的擴展。
let ( | Even | _ | ) x =if x % 2 = 0then Some() else Nonelet( | Odd | _ | ) x = ifx % 2 <> 0 then Some() else Noneletf x =matchxwith| Even -> "even"| Odd -> "odd"letr = f 2 //r = "even"
?
上面的例子僅僅返回Some()或者None。如果想返回更有趣的東西，
let f0 x = x % 2 = 0letf1 x = x % 2 <> 0let ( | Even | _ | ) (x:int) =iff0(x) then Some(signx)else Nonelet ( | Odd | _ | ) (x:int) =if f1(x)then Some(signx)else Nonelet f (x:int) =match x with| Even sign-> sprintf "even sign=%d" sign| Odd sign -> sprintf "odd sign=%d" signlet r = f 2
?
注意高亮"sign"保存了返回結果? Math.Sign(x)。
我想嘗試的最后一件事情是用 Even(或Odd)模式傳遞給函數。新的代碼是:
let f0 x = x % 2 = 0let f1 x = x % 2 <> 0let ( | Even | _ | ) f (x:int) = if f(x) thenSome(sign x) else Nonelet ( | Odd | _ | ) f (x:int) = if f(x)then Some(signx)else Nonelet f (x:int) =match x with| Even f0 (* you can think x passed in here *) sign -> sprintf "even sign=%d"sign| Odd f1 (* you can think x passed in here *) sign-> sprintf "odd sign=%d"signlet r = f 2
?
請注意如果你像下面這樣，取函數f為第二個參數來定義模式Even。
let ( | Even | _ | ) (x:int) f =if f(x)then Some(Math.Sign(x))else None
?
將會報一個錯誤。所以當你定義模式的時候，參數順序真的很重要。
