The word “Optional” by definition means available to be chosen, but not obligatory. What does this mean in programming? In programming languages and type theory, an option type or maybe type is a polymorphic type that represents encapsulation of an optional value; e.g., …