F #: Почему типы опций не совместимы с обнуляемыми типами?

Почему типы опций, такие как int, не совместимы с обнуляемыми типами, такими как Nullable?

Я предполагаю, что есть некоторая семантическая причина для различия, но я не могу понять, что это такое.

Опция в F # используется, когда значение может существовать или не существовать. Опция имеет базовый тип и может содержать значение этого типа или может не иметь значения.

http://msdn.microsoft.com/en-us/library/dd233245%28VS.100%29.aspx

Это конечно звучит как Nullable структура.

Ответы на вопрос(4)

Ваш ответ на вопрос