在编程语言（尤其是函数式编程语言）和类型论中，可选类型（）是一种表示可选值的多态类型，也称作可能类型（）。例如，函数可以使用可选类型的返回值，表示执行该函数后可能返回有意义的值，也可能不返回。可选类型的构造函数通常有两种形式：一种形式不包含任何参数，表示空（常记作 codice_1 或者 codice_2）；另一种形式包含原始数据类型 codice_3（常记作 codice_4 或者 codice_5）。面向对象编程领域的概念（常记作 codice_6）与可选类型类似，但并不完全相同，两者之间的主要