Option型
プログラミング言語と型理論において、Option型（）またはMaybe型（）は存在しない可能性のある値をカプセル化して表すである。例えば、関数の戻り値が存在する場合と存在しない場合を表すためにこの型は使用される。この型は空またはオリジナルのデータ型codice_1をカプセルしたコンストラクタから構成されている。
関数型プログラミング以外において、全く異なるが関連する概念としてNullable型がオブジェクト指向プログラミングで一般的である。Option型とNullable型の主な違いは、Option型はネストすることができるのに対して、Nullable型はこれに対応していないことである。