转换一个联盟<'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())