scala option map fuckup

[juan_gandhi]

scala> def f(x:String) = null
f: (x: String)Null

scala> Some("abc") map f
res3: Option[Null] = Some(null)

Comments

[lomeo.livejournal.com]

Это же map, всё правильно, он структуру должен сохранять. Тут flatMap нужен

scala> def f(x:String) = null
f: (x: String)Null

scala> Some("abc") flatMap (x => Option(f(x)))
res0: Option[Null] = None

[ivan-gandhi.livejournal.com]

Я знаю, что можно сделать; но я не считаю, что Some(null) должен существовать в природе.

[lomeo.livejournal.com]

Да я понял. Но на самом-то деле null не должен существовать в природе ;-)

[ivan-gandhi.livejournal.com]

О да.

[aliaksandr famin (from livejournal.com)]

А в чем проблема Some(null)? "Значение существует, но оно равно null" не эквивалентно "значения не существует".

[ivan-gandhi.livejournal.com]

null - это не значение.

[aliaksandr famin (from livejournal.com)]

В наших реалиях null - это значение. До тех пор пока String - это ref, а не val.