取出 option 的值 let s (c:'a list option) = match c with | Some v -> v | _ -> [] let a = Some[("ABC")] s a // ["ABC"]