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

E>>т.е. зачем нам доп сущность Option[User]?

D>Чтобы на уровне системы типов (т.е. на этапе компиляции) отличать nullable от not null и бить по рукам программиста, когда он пытается заюзать nullable как not null.

так подожди. Обычная ссылка — это nullable. Option[T] — тоже nullable, просто имеет свои методы (упрощающие обработку null) и добавляет мусорок при вызове метода нижележащего объекта. А где not null?