Вобщем если совсем снобить, то Optional не монада

заявлю громче: в Scala нет null!

нарушается один закон

Вобщем если совсем снобить, то Optional не монада

В скала не все, что пытались сделать монадой - монада :)

В скала не все, что пытались сделать монадой - монада :)

Ну мы же сейчас про Option и Optional трём

нарушается один закон

кокой

заявлю громче: в Scala нет null!

Тоже сильное заявление. java библиотек наверное тоже нет

кокой

null перестает быть значением, и Some после map может стать None

Optional(1).map(_ => null)

а если сабклассы Option - это монады, то Some должен остаться Some

Это всё понятно, но блин… такое

Optional(1).map(_ => null)

left unit

left unit

Я плохо запоминаю названия :(

Вобщем если совсем снобить, то Optional не монада

ты еще скажи что трай не монада

left unit

Если уж угорать, то Optional остается Optional. Он final, у него нет сабклассов

Просто в Java Optional isPresent определен как value != null

лефт юнит ло наше всё

тобишь он хоть и иммутабельный, но stateful

все нормально и у трая

и у опшона

ты еще скажи что трай не монада

А как же фьюча?

ну хотя бы она монада?

аа?

трай монада

ну пжаласта

=)))

снобисты забывают как эксепшоны сраниваются

а потом приходят к нам в чат в день свадьбы дочери Алексея и просят доказать что опшон не монада

и делают это без уважения

ну блин опш не монада - опш компромисс =)

https://scastie.scala-lang.org/kuZpIaZXSM6svwTWXjRKTg

ДА ТЫ ОФИГЕЛ

пурити в ваш код и трай монада и опшон монада изза жава либ / легаси они не перестают быть монадами

Тут ещё не было выражения Кирилла про монада тебе в о... ?

опшон

В опшон да

https://scastie.scala-lang.org/kuZpIaZXSM6svwTWXjRKTg

Ты там нарисовал Try.toOption :)

ну да; а чо такого

Но как бы трай без конверсии - не монада же

трай монада

экспешоны сраниваются как жава ексепшоны

замиени экспешоны на нормальынй эксепшон и будет счастье

тут жава эксепшоны они не верно сраниваются

старый наброс бло там гдет столет назад был гист с эксплонешанами

трай монада

У тебя success в failure превращается при map :)

Старт, кстати, все равно не такой быстрый как у других бинарников или питоновского интерпретатора. Но намного быстрее чем раньше.

Мы же про native-image говорим?

старый наброс бло там гдет столет назад был гист с эксплонешанами

Там нарушается асоциативность же

Причем тут сравнение

Я тут начитался https://gist.github.com/chrisseaton/535e0e80ea19803d5529c623c6beb921

Там нарушается асоциативность же

f(v) == unit(v).flatMap(f) это нарушается типа в случае када трай кидает экспешон

конечно

ну и третий конечно же тогда нарушится

Да в случае когда f кидает эксепшон

конечно

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

Не, вроде только ассоциативность

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

Но других же нет

В скала трай поэтому не монада

Да в случае когда f кидает эксепшон

Иди работай

она поэтому какраз монада

Мы же про native-image говорим?

если это про собранный бинарник, то да

Иди работай

слышь

ERROR: S client not available

а то что в случае что с экспшоном мы ломаем закон это значит что не то сравнение было

поэтому это уберснобизм говорить что оно не монада ток потому что в силу особенности нашей платформы ехепшоны корявы как понв

если это про собранный бинарник, то да

Угу, про собранный, в статье писали что jvm вообще не используется если я их правильно понял

а то что в случае что с экспшоном мы ломаем закон это значит что не то сравнение было

Ну собственно я к тому веду, что в этом случае монадичный Option с null - это попытка костылировать несовершество жавы и сделать типа монаду

слышь

А

не типа монада а монада все нормально условности платформы

А

Сам иди работай

Да я ж безработный

Шо альта лопнула?

не типа монада а монада все нормально условности платформы

Окей. В условиях jvm - не монада :)

А других платформ для скалки в продакшене вроде ещё не завезли

Окей. В условиях jvm - не монада :)

в условиях жвм монада какраз

а в других плафтормах где ехепшоны норм хендлятся там просто монада

проблема то не в сущности опшона трая или футуры а проблема корневая

жвм-монада

@odomontois ты посмотрел гист? тебя устроит компромиссный сайд эффект для ньютайпов?

@rudogma пока не добрался до кода

пытаюсь быть модным и затащить Parallel (потому что Лука сказал, что все свои траверсы на аппликативах я могу выкинуть, т.к. параллелиться они больше не будут) я же все правильно делаю?

пока да

только..

что за

MonadThrowable

MonadError[T, Throwable]

хм, надо утащить

Всем привет, мне нужно в проект втащить регистрацию с подтверждение email, на просторах интернета нашел Social Security, только вот не пойму его можно подружить с akka-http или нет? кто нибудь решал такую задачу?

пытаюсь быть модным и затащить Parallel (потому что Лука сказал, что все свои траверсы на аппликативах я могу выкинуть, т.к. параллелиться они больше не будут) я же все правильно делаю?

Сирьйозна? ???

хм, надо утащить

))))

Чем аппликативы не угодили?

так, я наверное завираюсь