Здравствуйте, x-code, Вы писали:

XC>3. В частности, для чисел с плавающей точкой, является ли NaN эквивалентом None? Или это логически разные понятия и их не следует смешивать? Если разные то почему?

Ну, учитывая, что signaling NaN отличается от quiet NaN, тебе потребуется два разных None
А ещё у них мантисса содержит интересные признаки о происхождении.

Как там у Лема — драконы не существуют, но при этом они бывают отрицательные, мнимые и нулевые.

XC>4. Какой физический смысл у многократного закручивания опционала в опционал? Optional<Optional<T>>, Optional<Optional<Optional<T>>> и т.п.? Где такое может встретиться и для чего?

Сомневаюсь, что он зачем-то такой нужен.