F# 期权的定义

例子

AnOption是具有两种情况的受歧视的并集,None即Some。

type Option<'T> = Some of 'T | None