可选类型 在编程语言尤其是函数式编程语言和类型论中可选类型英語Option Type是一种表示可选值的多态类型也称作可能类型英語Maybe Type例如函数可以使用可选类型的返回值表示执行该函数后可能返回有意义的值也可能不返回 可选类型的构造函数通常有两种形式一种形式不包含任何参数表示空常记作 None 或者 Nothing另一种形式包含原始数据类型 A常记作 Just A 或者 Some A 面向对象编程领域可空类型的概念常记作 A与可选类型类似但并不完全相同两者之间的主要区别在于可选类型不支持嵌套MaybeMaybe A  Maybe A而可空类型支持String  String