原文 https://fsharpforfunandprofit.com/posts/overview-of-types-in-fsharp/
這個特性我覺得也比較新鮮，以前沒有見過，先看代碼吧：
type Dollar = Dollar of int
let earn d:Dollar = d + 10 // Error
雖然只有兩行代碼，但有不少值得說明的地方，
第一行，有兩個 Dollar, 但它們有不同的含義，也只能用在不同的地方，第一個 Dollar 是一個型別，而第二個 Dollar 不是型別而是 union case, 這里只是故意重名，以便在兩種場合都能使用 Dollar 這個單詞，
因此，第二行代碼里的 Dollar 是型別，此時，第二行會報錯，因為型別 Dollar 不能與型別 int 直接相加，
我們把其中一個 Dollar 改成別的單詞，就可以看得更清楚：
type Money = Dollar of int
let earn d:Dollar = d + 10 // Error
這樣，由于第一個 Dollar 已經改成 Money, 因此 Dollar 再也不能當作型別來使用，第二行會報錯，而這次的錯誤原因是 “Dollar 不是型別”，
再看下面的代碼：
// single case union
type Dollar = Dollar of int
let earn (Dollar d) = d + 10 // OK
上面的代碼，第二行，就用到了我說的新鮮特性，這里的 Dollar 不是型別，而是 union case, 同時，由于 union case 可以用于 pattern match, 根據 pattern match 的原理，(Dollar d) 正是一個 pattern, 即 (Dollar int), 因此，d 的型別就是 int.
由于 d 的型別是 int, 因此可以與 10 相加，這次代碼不會報錯，
值得一提的是，這里發生 pattern match 的地方是一個函式的引數！
更神奇的是，這里 (Dollar int) 同時兼具兩個作用：
-
限定了該引數的型別是
Dollar, 如果輸入一個 int 或別的型別，會報錯，從而確保了型別安全， -
unpacking/deconstruct, “順便” 從這個引數里把
Dollar的內涵資料 int 給解構出來了，
本文介紹了 F# 的一個有趣的特性(unpacking/deconstruct), 該特性表面上看著簡單，背后卻涉及 type 與 union case 的區別，以及 pattern match 的用法，
轉載請註明出處，本文鏈接：https://www.uj5u.com/net/232247.html
標籤：.NET技术