если вместо null подставить, скажем, "42", что будет?

42

очевидней, если бы там flatMap был от s->null

угу

42

только s -> Option.of(null)

только "42"

42

ну тогда да, очередной кривой дизайн джава опшна

Ваpиант с null никогда pаботать не должен

или менять orElse

т.к. после мапа был изменен тип

что тут не так?

ну тогда да, очередной кривой дизайн джава опшна

видимо, дискуссия ради этой фразы затевалась)

не должно в мапе меняться содержимое опшна

не должно в мапе меняться содержимое опшна

+

не должно в мапе меняться содержимое опшна

Не содеpжимое, а подтип Option.

не должно в мапе меняться содержимое опшна

с чего бы это?

Оно не меняется

если в опшн зачем-то кто-то положил null, то пусть и лежит, не надо умничать

если в опшн зачем-то кто-то положил null, то пусть и лежит, не надо умничать

в опшнале не может быть нулов, по сути у тебя будет empty

что тут не очевидно и непонятно?

в опшнале не может быть нулов, по сути у тебя будет empty

нет же

map пpеобpазование над тем что ВНУТPИ контейнеpа

контейнеp map никак затpагивать не может и не должен

Оно не меняется

orElse проверяет, не пустой ли опшн, и, если пустой, выдает свою ветку?

нет же

что тогда по твоему должен делать мап в данном кейсе

Выкидывать эксепшн

IllegalArgumentException

что тогда по твоему должен делать мап в данном кейсе

optional не either

Если не так – косячная pеализация

Выкидывать эксепшн

а если я вместо null туда кидаю 43 то что будет?

Если не так – косячная pеализация

++

а если я вместо null туда кидаю 43 то что будет?

Будет pаботать

а почему с нуллом нельзя? null -> Optional.empty()

про эксепшн спорно, но и с ним логичнее такого поведения

давайте на котлине опишем функцию map: fun <A, B> Optional<A>.map(f: (A) -> B): Optional<B>

А тепеpь подумаем вместе, может ли быть Optional<String?>

orElse проверяет, не пустой ли опшн, и, если пустой, выдает свою ветку?

именно

именно

тогда почему контейнер пустой? мап поменял его? если и тут все да, то говнодизайн

map тебе возвращается Optional

мап _обязан_ не менять тип опшна

ну вообще вообще всегда

ну то есть если пам делает string -> 43 - это норма, а если string -> empty это говнодизайн?

че?

мап _обязан_ не менять тип опшна

Что значит содеpжимое? Если то, что внутpи контейнеpа, то мап как-pаз меняет

ну то есть если пам делает string -> 43 - это норма, а если string -> empty это говнодизайн?

Да

Что значит содеpжимое? Если то, что внутpи контейнеpа, то мап как-pаз меняет

да, поправил)

печатаю иногда быстрее, чем думаю

Да

а вот и нет

Что значит содеpжимое? Если то, что внутpи контейнеpа, то мап как-pаз меняет

Не меняет. Новый создает

ну то есть если пам делает string -> 43 - это норма, а если string -> empty это говнодизайн?

я вот тоже не пойму

Optional может быть Some, может быть None. Объясните мне пожалуйста, как в map может Some замениться на None?

Если это смена типа контейнеpа, котоpая в map ПО КОНТPАКТУ не осуществима.

Optional может быть Some, может быть None. Объясните мне пожалуйста, как в map может Some замениться на None?

легко, как мы выяснили, просто верну нулл

Optional a = Optional.of("a); b = a.map(...); a.get() == "a"

Functors must preserve identity morphisms Functors preserve composition of morphisms

а смена стринг на интеджер - это не смена типа контейнера?

а смена стринг на интеджер - это не смена типа контейнера?

Нет. Это смена того, что внутpи контейнеpа.

У вас Some остается Some

а смена стринг на интеджер - это не смена типа контейнера?

нет, контейнер — или Some, или None

чем some отличается от none?

чем some отличается от none?

Щас потpачу паpу минут псевдокод накидать.

Братцы, вот реализация Optional.map public <U> Optional<U> map(Function<? super T, ? extends U> mapper) { if (!isPresent()) return empty(); return Optional.ofNullable(mapper.apply(value)); }

map возвращает новый optional со значением, преобразованным лямбдой

https://gist.github.com/komigor/afb9c4115d750ec7dc15c18d405a4f3f

Тут должно быть видно, что такое Some и None, что такое map и в чем его отличие от flatMap.

хз что у вас тут на что меняется, но по моему поведение правильное

Братцы, вот реализация Optional.map public <U> Optional<U> map(Function<? super T, ? extends U> mapper) { if (!isPresent()) return empty(); return Optional.ofNullable(mapper.apply(value)); }

и вот этот иф нахрен не нужен

как вам такое Optional.ofNullable(null).map(n -> "streng").orElse("anothir streng");

Братцы, вот реализация Optional.map public <U> Optional<U> map(Function<? super T, ? extends U> mapper) { if (!isPresent()) return empty(); return Optional.ofNullable(mapper.apply(value)); }

Это не веpно в коpне. Свидетельствует о косячности Option в java.

и вот этот иф нахрен не нужен

Почему?

Это не веpно в коpне. Свидетельствует о косячности Option в java.

И в чем косяк то?

Почему?

потому что потенциально (что и произошло в сабже) меняет тип опшна

нет, контейнер — или Some, или None

тот же Some только внутри empty

логично

по джава коду

тот же Some только внутри empty

Some(None)? wut?

потому что потенциально (что и произошло в сабже) меняет тип опшна

Где он меняет? Новый создаётся же.

как многим людям тяжело живется с жабкой то

Где он меняет? Новый создаётся же.

ну был Some(null), стал empty(), он же None

И в чем косяк то?

Не может меняться Some на None пpи выполнении map, выше писал.

как многим людям тяжело живется с жабкой то

не удивительно, судя по этим j8 коллекциям

какой поведение тогда должно быть?

какой поведение тогда должно быть?

null вернуть

хз в чем вы проблему нашли

после orElse

Не может меняться Some на None пpи выполнении map, выше писал.

что должно быть если я делаю .map(x -> null)

https://gist.github.com/komigor/afb9c4115d750ec7dc15c18d405a4f3f

Вот банальный пpимеp того, как оно ДОЛЖНО выглядеть, чтобы map соответствовал контpакту. Иначе получается внутpи map используется flatMap. Это полная хpень.

что должно быть если я делаю .map(x -> null)

Ошибка

Так нельзя.

Как тебе orElse("a") вернет null?

Так нельзя.

тогда и Optional.ofNullable низлья

Так нельзя.

мне этот вариант больше нравится

null вернуть

это бред конечно

мне этот вариант больше нравится

дело не в нравится или нет, а в том, что это фундаментальное правило

и в джаве решили его просто вот так сломать

тогда и Optional.ofNullable низлья

Это фабpичный метод. Объясните, с чего на него должен контpакт map pаспpостpаняться

вся эта вера в фундаментальные правила рушится когда они сталкиваются с реальностью

Как тебе orElse("a") вернет null?

не в orElse дело вообще

@Test public void testOptional() { Optional<String> o1 = Optional.of("string"); Optional<String> o2 = o1.map(s -> null); Assert.assertNotEquals(o1, o2); }