轉換一個聯盟<'a>到聯盟<'b>

Question

說，我有一個F＃歧視工會的定義，像這樣：

type Union<'T> = | A of 'T | B | C 

如果我有這個地方'T是int例如B，我將如何將其轉換爲另一種B其中'T是string？我也與此類似，但有更多的情況下，目前我的模式匹配這樣的工會：

let convert u = 
    match u with 
    | A(x) -> // some fancy logic here 
    | B -> B 
    | C -> C 

Answer 1

此功能通常被稱爲map。第一個參數是一個函數(a -> b)改造內在價值：

let map f = function 
    | A(x) -> (A (f x)) 
    | B -> B 
    | C -> C 

你可以用它喜歡：

let stringUnion = (A(123)) |> map (fun i -> i.ToString())