可選類型
 | 此條目沒有列出任何參考或來源。 (2019年3月7日) |
在程式語言（尤其是函數式程式設計語言）和類型論中，可選類型（英語：Option Type）是一種表示可選值的多型類型，也稱作可能類型（英語：Maybe Type）。例如，函數可以使用可選類型的返回值，表示執行該函數後可能返回有意義的值，也可能不返回。
可選類型的建構函式通常有兩種形式：一種形式不包含任何參數，表示空（常記作 None 或者 Nothing）；另一種形式包含原始資料類型 A（常記作 Just A 或者 Some A）。
物件導向程式設計領域可空類型的概念（常記作 A?）與可選類型類似，但並不完全相同，兩者之間的主要區別在於可選類型不支援巢狀（Maybe(Maybe A) ≠ Maybe A），而可空類型支援（String?? = String?）。
另見
參考資料
 | 這是一篇與電腦相關的小作品。您可以透過編輯或修訂擴充其內容。 |