если мне память не изменяет, об этом то ли в джавадоке то ли в доках оракла было написано

может я конечно тз неправильно понял

это не Optional::map, это Stream::map :)

ой, простите)

фидбэк после 30 вопроса это боль...

во-первых, type converter там называется T → M T, т.е. то, что заворачивает значение, т.е. можно рассматривать или Optional::of, или Optional::ofNullable, а речь видимо была про combinator, которым может быть только flatMap(), а во-вторых, говорить, что это не монада, т.к. можно туда передать функцию с эффектом - это не совсем то "нарушение", которого я ожидал

Optional::of и Optional::ofNullable - это type constructor, не?

> A type constructor M that builds up a monadic type M T

Это очевидно Optional<T>

а не подскажете, почему пропала возможность посмотреть доклады в записи на https://jokerconf.com ?

да, напутал, спасибо, что поправили.
вот статья про проблемы с flatMap https://medium.com/97-things/optional-is-a-law-breaking-monad-but-a-good-type-7667eb821081

Она никуда не пропадала)
Все доклады можно найти на https://live.jugru.org/joker

спасибо! раньше кажется они были доступы и через сайт конференции 🙂

#question к организаторам, формат афтерпати не зашёл в прошлый раз?

Чёт ощущение, что у народа есть желание посидеть в зуме потрындеть =)

ага. т.е. для набора [ Optional<T>, Optional::ofNullable, Optional::flatMap ] есть проблема, но для набора [ Optional<T>, Optional::of, Optional::flatMap ] то всё ок. Собственно, если посмотреть, как Option определён в Scala, или Maybe в Haskell, то там тоже, чтобы это требование выполнялось, надо только на оборачивание значения смотреть (Some или Just), а не на пустой вариант. Там же в статье на вики пишут "eta(x)  =  Just x", и потом говорят, что это type converter, а аналог Just - это Optional::of, а не ofNullable

Желание точно было, дискуссионка после доклада про спринг 6 завершилась после 10 ночи.

Да, мне кажется, вообще классно потрещали!:))

Всем привет от Revolut 🚀 В нашем чате уже объявили победителей квиза 🏆 Спасибо всем за крутую конференцию и активное участие!

Да это же прямой путь к передозировке, гиперпринтингу и оверконсолингу)))