F #: Почему типы опций не совместимы с обнуляемыми типами?
Почему типы опций, такие как int, не совместимы с обнуляемыми типами, такими как Nullable?
Я предполагаю, что есть некоторая семантическая причина для различия, но я не могу понять, что это такое.
Опция в F # используется, когда значение может существовать или не существовать. Опция имеет базовый тип и может содержать значение этого типа или может не иметь значения.
http://msdn.microsoft.com/en-us/library/dd233245%28VS.100%29.aspx
Это конечно звучит как Nullable структура.